Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems

DOI10.1007/978-3-642-22012-8_32zbMath1333.68178arXiv1209.1738OpenAlexW1512316300MaRDI QIDQ3012936

Diana Fischer, Łukasz Kaiser

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

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

This page was built for publication: Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems