Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
From MaRDI portal
Publication:3012936
DOI10.1007/978-3-642-22012-8_32zbMath1333.68178arXiv1209.1738MaRDI QIDQ3012936
Publication date: 7 July 2011
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1209.1738
Cites Work
- Unnamed Item
- Unnamed Item
- The algorithmic analysis of hybrid systems
- Petri nets and large finite sets
- Model checking games for the quantitative \(\mu \)-calculus
- Computing Game Values for Crash Games
- Results on the quantitative μ-calculus qM μ
- Automata, Languages and Programming
- CONCUR 2003 - Concurrency Theory