Rare events for statistical model checking an overview

DOI10.1007/978-3-319-45994-3_2zbMath1478.68168OpenAlexW2519085184MaRDI QIDQ1708653

Louis-Marie Traonouez, Axel Legay, Sean Sedwards

Publication date: 26 March 2018

Full work available at URL: https://hal.inria.fr/hal-01387406/file/main.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata ⋮ Automated and distributed statistical analysis of economic agent-based models

Uses Software

• PLASMA

This page was built for publication: Rare events for statistical model checking an overview