Sascha Klüppelholz

Available identifiers

Publication	Date of Publication	Type
Determinization and limit-determinization of Emerson-Lei automata	2022-06-22	Paper
Modeling role-based systems with exogenous coordination	2021-05-20	Paper
Maximizing the Conditional Expected Reward for Reaching the Goal	2020-08-05	Paper
Markov Chains and Unambiguous Büchi Automata	2019-05-03	Paper
Trade-off analysis meets probabilistic model checking	2018-04-23	Paper
Weight monitoring with linear temporal logic	2018-04-23	Paper
Composition of Stochastic Transition Systems Based on Spans and Couplings	2017-12-19	Paper
Compositional construction of most general controllers	2015-06-24	Paper
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking	2014-07-08	Paper
Probabilistic Model Checking for Energy-Utility Analysis	2014-06-02	Paper
Synthesis of Reo Connectors for Strategies and Controllers	2014-05-14	Paper
Are Good-for-Games Automata Good for Probabilistic Model Checking?	2014-03-31	Paper
A Compositional Framework for Controller Synthesis	2011-09-02	Paper
Alternating-time stream logic for multi-agent systems	2010-04-29	Paper
Formal Verification for Components and Connectors	2009-10-28	Paper
Symbolic model checking for channel-based component connectors	2009-07-15	Paper

This page was built for person: Sascha Klüppelholz