The following pages link to Christel Baier (Q436314):
Displaying 29 items.
- On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems (Q5387903) (← links)
- Probabilistic ω-automata (Q5395674) (← links)
- Are Good-for-Games Automata Good for Probabilistic Model Checking? (Q5404935) (← links)
- Synthesis of Reo Connectors for Strategies and Controllers (Q5416726) (← links)
- Probabilistic Model Checking for Energy-Utility Analysis (Q5418957) (← links)
- On Decision Problems for Probabilistic Büchi Automata (Q5458366) (← links)
- Probabilistic and Topological Semantics for Timed Automata (Q5458833) (← links)
- Foundations of Genetic Algorithms (Q5703881) (← links)
- Implementation and Application of Automata (Q5897677) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900585) (← links)
- Metric semantics for true concurrent real time (Q5940931) (← links)
- Markov chains and unambiguous automata (Q6098148) (← links)
- (Q6134272) (← links)
- Foundations of probability-raising causality in Markov decision processes (Q6151547) (← links)
- Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking (Q6176099) (← links)
- Farkas certificates and minimal witnesses for probabilistic reachability constraints (Q6327764) (← links)
- Minimal Witnesses for Probabilistic Timed Automata (Q6485908) (← links)
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata (Q6535954) (← links)
- The variance-penalized stochastic shortest path problem (Q6560931) (← links)
- Positivity-hardness results on Markov decision processes (Q6566469) (← links)
- Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications (Q6587115) (← links)
- Mean-payoff optimization in continuous-time Markov chains with parametric alarms (Q6600073) (← links)
- Entropic risk for turn-based stochastic games (Q6647639) (← links)
- Entropic risk for turn-based stochastic games (Q6647757) (← links)
- Witnessing subsystems for probabilistic systems with low tree width (Q6649513) (← links)
- Long-run satisfaction of path properties (Q6654483) (← links)
- Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction" (Q6718545) (← links)
- Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact (Q6718570) (← links)
- Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA (Q6718574) (← links)
