Dual-Priced Modal Transition Systems with Time Durations

DOI10.1007/978-3-642-28717-6_12zbMath1352.68144OpenAlexW1910257044MaRDI QIDQ2891444

Nikola Beneš, Mikael H. Møller, Jan Křetínský, Kim Guldstrand Larsen, Jiří Srba

Publication date: 15 June 2012

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28717-6_12

Mathematics Subject Classification ID

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

Related Items (3)

General quantitative specification theories with modal transition systems ⋮ Counterexample-guided inductive synthesis for probabilistic systems ⋮ Refinement checking on parametric modal transition systems

This page was built for publication: Dual-Priced Modal Transition Systems with Time Durations