1 citations · 1 across the 15 of their papers we have counts for
3 papers · 1 filter
Towards Actionable Strategy Certificates in Stochastic Parity Games
Christel Baier, Diane Cauquil, Calvin Chau +2
We propose a new approach for synthesizing large sets of winning strategies in stochastic parity games (2.5-player games) with quantitative objectives. Instead of computing a singl…
Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata
Christel Baier, Sascha Klüppelholz, Timm Spork
Families of deterministic finite automata (FDFA) have been introduced as a concise automaton model that characterizes -regular languages by processing their ultimately periodic…
Concurrent Permissive Strategy Templates
Ashwani Anand, Christel Baier, Calvin Chau +4
Two-player games on finite graphs provide a rigorous foundation for modeling the strategic interaction between reactive systems and their environment. While concurrent game semanti…