Statistical model checking

DOI10.1007/978-3-319-91908-9_23zbMath1482.68142OpenAlexW2979249584MaRDI QIDQ2075782

Louis-Marie Traonouez, Scott A. Smolka, Radu Grosu, Junxing Yang, Anna Lukina, Axel Legay

Publication date: 16 February 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-91908-9_23

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Model predictive control (93B45)

Related Items (7)

Active and sparse methods in smoothed model checking ⋮ Efficient trace generation for rare-event analysis in chemical reaction networks ⋮ A logical framework for reasoning about local and global properties of collective systems ⋮ A survey of model learning techniques for recurrent neural networks ⋮ Sampling-Based Verification of CTMCs with Uncertain Rates ⋮ Risk verification of stochastic systems with neural network controllers ⋮ Automated and distributed statistical analysis of economic agent-based models

This page was built for publication: Statistical model checking