Probabilistic black-box reachability checking (extended version)
From MaRDI portal
Publication:2008284
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
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
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)
