8 citations · 25 across the 17 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 6 cited
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis
Krishnendu Chatterjee, Andreas Gaiser, Jan Křetínský
The model-checking problem for probabilistic systems crucially relies on the translation of LTL to deterministic Rabin automata (DRW). Our recent Safraless translation for the LTL(…
cs.LO2013
On Refinements of Boolean and Parametric Modal Transition Systems
Jan Křetínský, Salomon Sickert
We consider the extensions of modal transition systems (MTS), namely Boolean MTS and parametric MTS and we investigate the refinement problems over both classes. Firstly, we reduce…