LEADER 04760nam 22006015 450 001 996673180603316 005 20250830130216.0 010 $a3-031-97439-5 024 7 $a10.1007/978-3-031-97439-7 035 $a(MiAaPQ)EBC32275200 035 $a(Au-PeEL)EBL32275200 035 $a(CKB)40832376700041 035 $a(DE-He213)978-3-031-97439-7 035 $a(OCoLC)1535978008 035 $a(EXLCZ)9940832376700041 100 $a20250830d2026 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPrinciples of Formal Quantitative Analysis $eEssays Dedicated to Christel Baier on the Occasion of Her 60th Birthday /$fedited by Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz 205 $a1st ed. 2026. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2026. 215 $a1 online resource (748 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15760 311 08$a3-031-97438-7 327 $aThe Optimal Strategy to Meet the Deadline: Ask Christel -- Nondeterminism in Interactive Markov Chains, with Application to the Erlangen Mainframe -- Decisiveness for countable MDPs and insights for NPLCSs and POMDPs -- Polytopal Stochastic Games -- Algorithmic Applications of Schanuel?s Conjecture -- Stop gambling! It just takes too long -- Probabilistic Model Checking: Applications and Trends -- Probabilistic Counterexamples Through the Ages -- PCTL Satisfiability for Infinite Binary Trees -- CTL? Verification and Synthesis using Existential Horn Clauses -- Featured Message Sequence Graphs -- A Note on Runtime Verification of Concurrent Systems -- Embedding Monitoring of First-order Temporal Logic in a Programming Language -- Causality Monitoring for MIMOS -- Owicki/Gries Proof Method: Parameterized Soundness and Completeness -- On the Verification of Quantum Programs -- Efficient Join Order for Constraint Automata through LLM-Generated Heuristics -- What-If Scenarios for the BedreFlyt Digital Twin -- ?Running.Christel: a stochastic hybrid case-study optimizing battery pack usage -- Termination in Extended Probabilistic Threshold Automata. 330 $aThis Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems. After earning her doctorate from the University of Mannheim, Christel Baier held research and professorial positions in Mannheim and Bonn. Since 2006 she has been a full professor of Algebraic and Logical Foundations of Computer Science at Technische Universität Dresden, where she currently serves as the Dean of the Faculty of Computer Science. In 2011, she was elected to the Academia Europaea. She was the Editor-in-Chief of Acta Informatica from 2015 to 2022, and received an honorary doctorate from RWTH Aachen University in 2022. Among her many notable research achievements, Christel Baier has shaped the foundations and practical applications of system verification. She pioneered probabilistic model checking, advanced techniques for model checking of continuous-time Markov chains, and coauthored the standard textbook Principles of Model Checking. Beyond her research contributions, she is widely respected within the scientific community. Her service has included invited talks, membership in key steering and program committees, and organizing scientific events. Christel Baier has mentored and guided many students and fellow scientists. They appreciate her way of approaching every task with remarkable persistence, focus, and diligence. Many of these collaborators were pleased to contribute to this volume and to celebrate joint work and successes. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15760 606 $aComputer science 606 $aLogic, Symbolic and mathematical 606 $aSoftware engineering 606 $aTheory of Computation 606 $aMathematical Logic and Foundations 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aLogic, Symbolic and mathematical. 615 0$aSoftware engineering. 615 14$aTheory of Computation. 615 24$aMathematical Logic and Foundations. 615 24$aSoftware Engineering. 676 $a004.0151 700 $aBertrand$b Nathalie$01318703 701 $aDubslaff$b Clemens$01448714 701 $aKlüppelholz$b Sascha$01845094 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996673180603316 996 $aPrinciples of Formal Quantitative Analysis$94428586 997 $aUNISA