The following pages link to Christel Baier (Q436314):
Displaying 23 items.
- (Q197411) (redirect page) (← links)
- Multi-valued model checking games (Q414899) (← links)
- Model checking probabilistic systems against pushdown specifications (Q436316) (← links)
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- Logic and games on automatic structures. Playing with quantifiers and decompositions (Q555655) (← links)
- Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications (Q600975) (← links)
- Denotational linear time semantics and sequential composition (Q671406) (← links)
- Metric completion versus ideal completion (Q672047) (← links)
- Stochastic game logic (Q715046) (← links)
- Causality-based game solving (Q832242) (← links)
- Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic (Q860862) (← links)
- Alternating-time stream logic for multi-agent systems (Q967523) (← links)
- Performability assessment by model checking of Markov reward models (Q968359) (← links)
- Probabilistic weak simulation is decidable in polynomial time (Q1029062) (← links)
- Model checking for performability (Q2843861) (← links)
- Composition of Stochastic Transition Systems Based on Spans and Couplings (Q4598243) (← links)
- Admissibility in Probabilistic Argumentation (Q5094045) (← links)
- Synthesis of Reo Circuits from Scenario-based Specifications (Q5179203) (← links)
- Bisimulation and Simulation Relations for Markov Chains (Q5262953) (← 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)
