Statistical Model Checking for Stochastic Hybrid Systems

Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Sean Sedwards

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

51 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Statistical Model Checking for Stochastic Hybrid Systems'. Together they form a unique fingerprint.

Computer Science

Keyphrases