Probabilistic verification of discrete event systems using acceptance sampling
From MaRDI portal
Recommendations
- Statistical probabilistic model checking with a focus on time-bounded properties
- Verifying a class of nondeterministic discrete event systems in a generalized temporal logic
- Probabilistic verification and approximation
- Verification, Model Checking, and Abstract Interpretation
- Probabilistic model checking: Formalisms and algorithms for discrete and real-time systems
Cited in
(29)- Assisting the design of a groupware system - Model checking usability aspects of thinkteam
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization
- Probabilistic verification and approximation
- Statistical probabilistic model checking with a focus on time-bounded properties
- A theory of stochastic systems. I: Stochastic automata
- Least upper bounds for probability measures and their applications to abstractions
- Statistical approximation of optimal schedulers for probabilistic timed automata
- Comparative analysis of statistical model checking tools
- Fixed-delay events in generalized semi-Markov processes revisited
- Weak Kripke structures and LTL
- On Almost-Sure Properties of Probabilistic Discrete Event Systems
- Statistical Model Checking for Networks of Priced Timed Automata
- Model checking probabilistic systems
- Statistically sound verification and optimization for complex systems
- Statistical model checking using perfect simulation
- Verifying a class of nondeterministic discrete event systems in a generalized temporal logic
- Statistical Model Checking for Variability-Intensive Systems
- Deep statistical model checking
- Evaluating complex MAC protocols for sensor networks with APMC
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- On simulation-based probabilistic model checking of mixed-analog circuits
- Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals
- PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
- Automated verification of multi-party agreements and scheduling of sending messages in distributed ledger systems
- Monitoring algorithmic fairness
- Learning model checking and the kernel trick for signal temporal logic on stochastic processes
- Scalable and reliable stochastic parametric verification with stochastic variational smoothed model checking
- PAC statistical model checking of mean payoff in discrete- and continuous-time MDP
- Beyond decisiveness of infinite Markov chains
This page was built for publication: Probabilistic verification of discrete event systems using acceptance sampling
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4806205)
