Model measuring for discrete and hybrid systems

DOI10.1016/j.nahs.2016.09.001zbMath1401.68198MaRDI QIDQ2374564

Thomas A. Henzinger, Jan Otop

Publication date: 15 December 2016

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.nahs.2016.09.001

zbMATH Keywords

weighted automata; quantitative model checking; model measuring; parametric hybrid automata

Mathematics Subject Classification ID

68Q45: Formal languages and automata

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

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)