6 citations · 24 across the 18 of their papers we have counts for
9 papers
Alternating Good-for-MDP Automata
Ernst Moritz Hahn, Mateo Perez, Sven Schewe +3
When omega-regular objectives were first proposed in model-free reinforcement learning (RL) for controlling MDPs, deterministic Rabin automata were used in an attempt to provide a…
Secure-by-Construction Synthesis of Cyber-Physical Systems
Siyuan Liu, Ashutosh Trivedi, Xiang Yin +1
Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and control theory towards designing safety-critical systems. Instead of following the time-t…
Almost-Sure Reachability in Stochastic Multi-Mode System
Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi
A constant-rate multi-mode system is a hybrid system that can switch freely among a finite set of modes, and whose dynamics is specified by a finite number of real-valued variables…
Stochastic Timed Games Revisited
S Akshay, Patricia Bouyer, Shankara Narayanan Krishna +2
Stochastic timed games (STGs), introduced by Bouyer and Forejt, naturally generalize both continuous-time Markov chains and timed automata by providing a partition of the locations…
Symmetric Strategy Improvement
Sven Schewe, Ashutosh Trivedi, Thomas Varghese
Symmetry is inherent in the definition of most of the two-player zero-sum games, including parity, mean-payoff, and discounted-payoff games. It is therefore quite surprising that n…
Bounded-Rate Multi-Mode Systems Based Motion Planning
Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna +2
Bounded-rate multi-mode systems are hybrid systems that can switch among a finite set of modes. Its dynamics is specified by a finite number of real-valued variables with mode-depe…