Probabilistic black-box reachability checking (extended version)

DOI10.1007/s10703-019-00333-0zbMath1425.68247OpenAlexW2946466316WikidataQ127844330 ScholiaQ127844330MaRDI QIDQ2008284

Martin Tappler, Bernhard K. Aichernig

Publication date: 25 November 2019

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-019-00333-0

zbMATH Keywords

verificationtestingreachability analysismodel inferencestatistical model checkingblack-box checking

Mathematics Subject Classification ID

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

Related Items (5)

Runtime monitors for Markov decision processes ⋮ Active model learning of stochastic reactive systems ⋮ \(L^\ast\)-based learning of Markov decision processes (extended version) ⋮ Probabilistic black-box reachability checking (extended version) ⋮ prob-black-reach

Uses Software

• PRISM
• GitHub
• SFADiff
• MQTT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3--7, 2014. Proceedings
• Some inequalities relating to the partial sum of binomial probabilities
• Learning regular sets from queries and counterexamples
• Learning deterministic probabilistic automata from a model checking perspective
• Probabilistic black-box reachability checking (extended version)
• Learning Moore machines from input-output traces
• Quantitative Multi-objective Verification for Probabilistic Systems
• Learning-Based Compositional Verification for Synchronous Probabilistic Systems
• Verification of Markov Decision Processes Using Learning Algorithms
• On Time with Minimal Expected Cost!
• Fast randomized consensus using shared memory
• A Likelihood-Ratio Test for Identifying Probabilistic Deterministic Real-Time Automata from Positive Data
• Grey-Box Checking
• Learning functions represented as multiplicity automata
• Automated Verification and Strategy Synthesis for Probabilistic Systems
• Computer Aided Verification
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Computer Aided Verification

This page was built for publication: Probabilistic black-box reachability checking (extended version)