×

Found 221 Documents (Results 1–100)

Safety verification of piecewise-deterministic Markov processes. (English) Zbl 1364.93754

Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 257-266 (2016).
MSC:  93E03 60J75 68Q60 93C20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software