11 citations · 19 across the 3 of their papers we have counts for
3 papers
cs.FL2010★ 4 cited
Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata
Sven Schewe
In this report we study the problem of minimising deterministic automata over finite and infinite words. Deterministic finite automata are the simplest devices to recognise regular…
cs.FL2010★ 11 cited
Optimal Time-Abstract Schedulers for CTMDPs and Markov Games
Markus Rabe, Sven Schewe
We study time-bounded reachability in continuous-time Markov decision processes for time-abstract scheduler classes. Such reachability problems play a paramount role in dependabili…
cs.FL2010★ 4 cited
Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games
Markus Rabe, Sven Schewe
We establish the existence of optimal scheduling strategies for time-bounded reachability in continuous-time Markov decision processes, and of co-optimal strategies for continuous-…