Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

DOI10.2168/LMCS-8(3:21)2012zbMath1344.68138OpenAlexW2761797679MaRDI QIDQ2914242

Diana Fischer, Łukasz Kaiser

Publication date: 25 September 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-8(3:21)2012

zbMATH Keywords

hybrid systemsmodel checkinggames\(\mu \)-calculusquantitative logics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

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