Christel Baier

1. Computing Quantiles in Markov Reward Models
   2013/01/09 by Michael Ummels, Christel Baier, Ummels, Michael +1 · 3 citations
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Real-Time Systems Scheduling
2. Probabilistic causes in Markov chains
   2021/04/28 by Christel Baier, Baier, Christel, Florian Funke +7 · 2 citations
   Computer Science · #Bayesian Modeling and Causal Inference #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)
3. From Verification to Causality-based Explications
   2021/05/20 by Christel Baier, Baier, Christel, Clemens Dubslaff +11 · 2 citations
   Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms
4. Markov Chains and Unambiguous Automata
   2016/05/03 by Christel Baier, Stefan Kiefer, Baier, Christel +7 · 2 citations
   Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Network Packet Processing and Optimization
5. More for Less: Safe Policy Improvement With Stronger Performance Guarantees
   2023/05/13 by Patrick Wienhöft, Marnix Suilen, Wienhöft, Patrick +9 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Machine Learning and Data Classification #Reinforcement Learning in Robotics
6. Reachability in Dynamical Systems with Rounding
   2020/09/28 by Christel Baier, Baier, Christel, Florian Funke +15 · 1 citation
   Engineering · Computer Science · #Architecture and Computational Design #Artificial Intelligence in Games #Music Technology and Sound Studies
7. Farkas certificates and minimal witnesses for probabilistic reachability constraints
   2019/10/23 by Florian Funke, Simon Jantsch, Funke, Florian +3 · 1 citation
   Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Optimization and Control (math.OC)
8. Model Checking Markov Chains as Distribution Transformers
   2024/06/21 by Rajab Aghamov, Aghamov, Rajab, Christel Baier +11 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)