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