Active and sparse methods in smoothed model checking

DOI10.1007/978-3-030-85172-9_12zbMath1491.68112arXiv2104.09940OpenAlexW3183852024MaRDI QIDQ832071

Jane Hillston, Paul Piho

Publication date: 24 March 2022

Full work available at URL: https://arxiv.org/abs/2104.09940

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Uses Software

• GitHub

Cites Work

• Unnamed Item
• Smoothed model checking for uncertain continuous-time Markov chains
• The design and analysis of computer experiments.
• Statistical model checking
• Bayesian statistical parameter synthesis for linear temporal properties of stochastic models
• System design of stochastic models using robustness of temporal properties
• Sparse On-Line Gaussian Processes
• Active Learning
• Stochastic Model Checking
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• Computer Aided Verification
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

This page was built for publication: Active and sparse methods in smoothed model checking