Stochastic model checking
From MaRDI portal
Publication:3084591
Recommendations
Cited in
(75)- Model checking quantum Markov chains
- Analysis of faults in cyber-physical systems by finite discrete-time Markov chains
- The probabilistic model checking landscape
- Quantitative verification of Kalman filters
- Model checking stochastic automata
- Stochastic model checking of the stochastic quality calculus
- Active and sparse methods in smoothed model checking
- Deep statistical model checking
- Measuring security in IoT communications
- Probabilistic verification of Herman's self-stabilisation algorithm
- Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference
- Towards light-weight probabilistic model checking
- Multi-scale verification of distributed synchronisation
- Monodic fragments of probabilistic first-order temporal logic with bounded semantics
- Verifying team formation protocols with probabilistic model checking
- Computing cumulative rewards using fast adaptive uniformization
- DNA walker circuits: computational potential, design, and verification
- Computer Aided Verification
- An efficient algorithm to determine probabilistic bisimulation
- CTL model checking of MDPs over distribution spaces: algorithms and sampling-based computations
- A counter abstraction technique for verifying properties of probabilistic swarm systems
- Performance analysis and functional verification of the stop-and-wait protocol in HOL
- Counterexample generation for discrete-time Markov models: an introductory survey
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models
- Probabilistic reach-avoid for Bayesian neural networks
- Model checking probabilistic systems
- Model checking mobile stochastic logic
- On the collective sort problem for distributed tuple spaces
- Statistical model checking of stochastic component-based systems
- IPL: an integration property language for multi-model cyber-physical systems
- The 10,000 facets of MDP model checking
- A uniformization-based algorithm for continuous-time stochastic games model checking
- Efficient trace generation for rare-event analysis in chemical reaction networks
- Maximizing the probability of attaining a target prior to extinction
- Modeling for Verification
- Model repair for probabilistic systems
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
- Precise parameter synthesis for stochastic biochemical systems
- A model and analysis of the AKAP scaffold
- Faster SPDL Model Checking Through Property-Driven State Space Generation
- Model checking of biological systems
- Programming discrete distributions with chemical reaction networks
- scientific article; zbMATH DE number 1538048 (Why is no real title available?)
- Programming discrete distributions with chemical reaction networks
- Formal modelling and verification of probabilistic resource bounded agents
- Model Checking Stochastic Branching Processes
- Simulative model checking of steady state and time-unbounded temporal operators
- scientific article; zbMATH DE number 2087806 (Why is no real title available?)
- Performability assessment by model checking of Markov reward models
- Model checking branching time properties for incomplete Markov chains
- Central limit model checking
- Probabilistic model checking of complex biological pathways
- Architecture-based resilience evaluation for self-adaptive systems
- A formal approach to adaptive software: continuous assurance of non-functional requirements
- Comparative analysis of statistical model checking tools
- Finite horizon analysis of stochastic systems with the Mur\(\varphi \) verifier.
- Extended Directed Search for Probabilistic Timed Reachability
- Formal Modeling and Analysis of Timed Systems
- Chemical reaction network designs for asynchronous logic circuits
- Probabilistic model checking of the PDGF signaling pathway
- QMaude: quantitative specification and verification in rewriting logic
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits
- Generating counterexamples for quantitative safety specifications in probabilistic B
- Incremental Verification of Parametric and Reconfigurable Markov Chains
- Computing expected visiting times and stationary distributions in Markov chains: fast and accurate
- Using probabilistic model checking for dynamic power management
- Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control
- Markov chains and Markov decision processes in Isabelle/HOL
- Abstract model repair for probabilistic systems
- Hybrid Systems: Computation and Control
- Query-based verification of qualitative trends and oscillations in biochemical systems
- scientific article; zbMATH DE number 2079828 (Why is no real title available?)
- Monte Carlo methods for process algebra
- Petri-net-based 2D design of DNA walker circuits
- An MM algorithm to estimate parameters in continuous-time Markov chains
This page was built for publication: Stochastic model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3084591)
