Rare-event verification for stochastic hybrid systems

DOI10.1145/2185632.2185665zbMath1362.68192OpenAlexW2000280333MaRDI QIDQ2986769

Paolo Zuliani, Edmund M. Clarke, Christel Baier

Publication date: 16 May 2017

Published in: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2185632.2185665

zbMATH Keywords

hybrid systemsrare eventsstochastic systemsstatistical model checkingprobabilistic model checking

Mathematics Subject Classification ID

Computational methods in Markov chains (60J22) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items

On the optimal importance process for piecewise deterministic Markov process ⋮ Discussion on: ``Safety verification for probabilistic hybrid systems ⋮ Adaptive Importance Sampling Based on Fault Tree Analysis for Piecewise Deterministic Markov Process ⋮ Statistical verification of PCTL using antithetic and stratified samples