Probabilistic black-box reachability checking (extended version)
From MaRDI portal
Publication:2008284
Recommendations
- Computer Aided Verification
- Bounded model checking for probabilistic programs
- The probabilistic model checking landscape
- scientific article; zbMATH DE number 1884411
- Computer Aided Verification
- Efficient probabilistic model checking of systems with ranged probabilities
- Bounded Verification of Reachability of Probabilistic Hybrid Systems
- Model checking of reachability problems based on generalized possibility measures
- Model checking of recursive probabilistic systems
Cites work
- scientific article; zbMATH DE number 2080060 (Why is no real title available?)
- scientific article; zbMATH DE number 1418458 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- A likelihood-ratio test for identifying probabilistic deterministic real-time automata from positive data
- Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3--7, 2014. Proceedings
- Automated verification and strategy synthesis for probabilistic systems
- Computer Aided Verification
- Computer Aided Verification
- Fast randomized consensus using shared memory
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Grammatical inference. Learning automata and grammars.
- Grey-Box Checking
- Learning Moore machines from input-output traces
- Learning deterministic probabilistic automata from a model checking perspective
- Learning functions represented as multiplicity automata
- Learning regular sets from queries and counterexamples
- Learning-based compositional verification for synchronous probabilistic systems
- On time with minimal expected cost!
- Probabilistic black-box reachability checking (extended version)
- Quantitative multi-objective verification for probabilistic systems
- Some inequalities relating to the partial sum of binomial probabilities
- Verification of Markov decision processes using learning algorithms
Cited in
(13)- A Stochastic Theory of Black-Box Software Testing
- Active model learning of stochastic reactive systems
- Runtime monitors for Markov decision processes
- Computer Aided Verification
- Grey-Box Checking
- \(L^\ast\)-based learning of Markov decision processes (extended version)
- Computer Aided Verification
- scientific article; zbMATH DE number 1884411 (Why is no real title available?)
- Reachability design through approximate Bayesian computation
- Probabilistic black-box reachability checking (extended version)
- \(L^*\)-based learning of Markov decision processes
- prob-black-reach
- Computational Methods in Systems Biology
This page was built for publication: Probabilistic black-box reachability checking (extended version)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2008284)
