×

Found 2 Documents (Results 1–2)

Bounded and unbounded safety verification using bisimulation metrics. (English) Zbl 1237.68128

Majumdar, Rupak (ed.) et al., Hybrid systems: Computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00601-2/pbk). Lecture Notes in Computer Science 5469, 426-440 (2009).
MSC:  68Q60 68Q85 93C30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

Software