Safety verification of piecewise-deterministic markov processes

Rafael Wisniewski, Christoffer Sloth, Manuela Bujorianu, Nir Piterman

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Fingerprint

Dive into the research topics of 'Safety verification of piecewise-deterministic markov processes'. Together they form a unique fingerprint.

Engineering & Materials Science