Statistical model checking of black-box probabilistic systems
From MaRDI portal
Recommendations
Cited in
(35)- Learning deterministic probabilistic automata from a model checking perspective
- Probabilistic black-box reachability checking (extended version)
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization
- Automated and distributed statistical analysis of economic agent-based models
- Bayesian statistical model checking with application to Stateflow/Simulink verification
- Statistical verification of PCTL using antithetic and stratified samples
- Data-driven and model-based verification via Bayesian identification and reachability analysis
- Probabilistic verification and approximation
- Statistical probabilistic model checking with a focus on time-bounded properties
- Data-driven verification of stochastic linear systems with signal temporal logic constraints
- Probabilistic verification of a biodiesel production system using statistical model checking
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Statistical Model Checking for Networks of Priced Timed Automata
- Statistically sound verification and optimization for complex systems
- Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking
- Statistical Model Checking for Variability-Intensive Systems
- Model-based testing of probabilistic systems with stochastic time
- Statistical model checking of stochastic component-based systems
- Evaluating complex MAC protocols for sensor networks with APMC
- Tools and Algorithms for the Construction and Analysis of Systems
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Computer Aided Verification
- Computer Aided Verification
- Computer Aided Verification
- On simulation-based probabilistic model checking of mixed-analog circuits
- Intuitive modelling and formal analysis of collective behaviour in foraging ants
- PAC statistical model checking for Markov decision processes and stochastic games
- Computing bisimilarity metrics for probabilistic timed automata
- A survey of statistical model checking
- Model-based testing of probabilistic systems
- PAC statistical model checking of mean payoff in discrete- and continuous-time MDP
- Learning algorithms for verification of Markov decision processes
- PMaude: rewrite-based specification language for probabilistic object systems
- Active and sparse methods in smoothed model checking
- Minimal probabilistic P systems for modelling ecological systems
This page was built for publication: Statistical model checking of black-box probabilistic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312900)
