There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 2010

Pages: 167-170

DOI: 10.1007/978-3-642-14295-6_17

SO-VID: c9dedabc-c34a-4b8c-af68-81a5f299e8f2

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 48

Efficient Robust Monitoring for STL
Authors: Alexandre Donzé, Thomas Ferrère, Oded Maler
Monitoring properties of analog and mixed-signal circuits
Authors: Oded Maler, Dejan Nickovic
Time Robustness in MTL and Expressivity in Hybrid System Falsification
Authors: Takumi Akazaki, Ichiro Hasuo

See all cited by

Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems

Read this book at