284 citations
- Institut FourierFR4 papers
- Centre National de la Recherche ScientifiqueFR1 paper
- Humboldt-Universität zu BerlinDE1 paper
- Laboratoire de Mathématiques Jean LerayFR1 paper
- Ruhr University BochumDE1 paper
- Technical University of MunichDE1 paper
- Université Grenoble AlpesFR1 paper
- Université Joseph FourierFR1 paper
- Université Pierre Mendès FranceFR1 paper
- University of LuxembourgLU1 paper
- University of MiamiUS1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2009★ 4 cited
Branching-time model checking of one-counter processes
Stefan Göller, Markus Lohrey
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CT…
cs.LO2008★ 7 cited
Model Checking Games for the Quantitative mu-Calculus
Diana Fischer, Erich Grädel, Lukasz Kaiser
We investigate quantitative extensions of modal logic and the modal mu-calculus, and study the question whether the tight connection between logic and games can be lifted from the…