The following pages link to Christel Baier (Q436314):
Displaying 50 items.
- A Compositional Framework for Controller Synthesis (Q3090853) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- The Effect of Tossing Coins in Omega-Automata (Q3184662) (← links)
- Generic Emptiness Check for Fun and Profit (Q3297604) (← links)
- Maximizing the Conditional Expected Reward for Reaching the Goal (Q3303934) (← links)
- (Q3384160) (← links)
- On-the-Fly Stuttering in the Construction of Deterministic ω-Automata (Q3503894) (← links)
- Partial Order Reduction for Markov Decision Processes: A Survey (Q3591387) (← links)
- Probabilistic Acceptors for Languages over Infinite Words (Q3599062) (← links)
- (Q3611941) (← links)
- (Q3611942) (← links)
- Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness (Q3613069) (← links)
- When Are Timed Automata Determinizable? (Q3638084) (← links)
- Formal Verification for Components and Connectors (Q3638992) (← links)
- Quantitative Analysis under Fairness Constraints (Q3648696) (← links)
- (Q4222911) (← links)
- (Q4255551) (← links)
- (Q4255552) (← links)
- (Q4270055) (← links)
- (Q4341025) (← links)
- (Q4353633) (← links)
- (Q4375632) (← links)
- (Q4411090) (← links)
- (Q4484497) (← links)
- (Q4485146) (← links)
- (Q4508289) (← links)
- (Q4536611) (← links)
- (Q4551147) (← links)
- Bisimulations, logics, and trace distributions for stochastic systems with rewards (Q4561429) (← links)
- Composition of Stochastic Transition Systems Based on Spans and Couplings (Q4598243) (← links)
- Markov Chains and Unambiguous Büchi Automata (Q4633525) (← links)
- Trade-off analysis meets probabilistic model checking (Q4635586) (← links)
- Weight monitoring with linear temporal logic (Q4635594) (← links)
- (Q4673428) (← links)
- Computing Quantiles in Markov Reward Models (Q4910430) (← links)
- Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints (Q5039515) (← links)
- Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs (Q5047040) (← links)
- Model Checking Linear-Time Properties of Probabilistic Systems (Q5072555) (← links)
- Admissibility in Probabilistic Argumentation (Q5094045) (← links)
- Synthesis of Optimal Resilient Control Strategies (Q5096100) (← links)
- (Q5137353) (← links)
- Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes (Q5145280) (← links)
- (Q5146511) (← links)
- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking (Q5166754) (← links)
- Synthesis of Reo Circuits from Scenario-based Specifications (Q5179203) (← links)
- Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms (Q5194930) (← links)
- Bisimulation and Simulation Relations for Markov Chains (Q5262953) (← links)
- Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties (Q5277794) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308389) (← links)
- (Q5322945) (← links)
