The following pages link to Stochastic Model Checking (Q3084591):
Displaying 38 items.
- Model checking quantum Markov chains (Q394340) (← links)
- Architecture-based resilience evaluation for self-adaptive systems (Q488390) (← links)
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits (Q498908) (← links)
- Maximizing the probability of attaining a target prior to extinction (Q547917) (← links)
- Generating counterexamples for quantitative safety specifications in probabilistic B (Q652160) (← links)
- Analysis of faults in cyber-physical systems by finite discrete-time Markov chains (Q821298) (← links)
- Active and sparse methods in smoothed model checking (Q832071) (← links)
- Performability assessment by model checking of Markov reward models (Q968359) (← links)
- Query-based verification of qualitative trends and oscillations in biochemical systems (Q969178) (← links)
- Performance analysis and functional verification of the stop-and-wait protocol in HOL (Q1040781) (← links)
- Markov chains and Markov decision processes in Isabelle/HOL (Q1701041) (← links)
- Abstract model repair for probabilistic systems (Q1706149) (← links)
- Measuring security in IoT communications (Q1731516) (← links)
- A uniformization-based algorithm for continuous-time stochastic games model checking (Q1757155) (← links)
- A formal approach to adaptive software: continuous assurance of non-functional requirements (Q1941849) (← links)
- Probabilistic verification of Herman's self-stabilisation algorithm (Q1941879) (← links)
- Quantitative verification of Kalman filters (Q1982642) (← links)
- DNA walker circuits: computational potential, design, and verification (Q2003463) (← links)
- IPL: an integration property language for multi-model cyber-physical systems (Q2024345) (← links)
- Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control (Q2082497) (← links)
- A counter abstraction technique for verifying properties of probabilistic swarm systems (Q2124442) (← links)
- Multi-scale verification of distributed synchronisation (Q2225471) (← links)
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models (Q2238218) (← links)
- On the collective sort problem for distributed tuple spaces (Q2389341) (← links)
- Precise parameter synthesis for stochastic biochemical systems (Q2407983) (← links)
- Probabilistic model checking of complex biological pathways (Q2474435) (← links)
- An efficient algorithm to determine probabilistic bisimulation (Q2633253) (← links)
- Programming Discrete Distributions with Chemical Reaction Networks (Q2835702) (← links)
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets (Q2941140) (← links)
- Comparative Analysis of Statistical Model Checking Tools (Q2975907) (← links)
- Model Repair for Probabilistic Systems (Q3000664) (← links)
- Verifying Team Formation Protocols with Probabilistic Model Checking (Q3092303) (← links)
- Modeling for Verification (Q3176361) (← links)
- A Model and Analysis of the AKAP Scaffold (Q5404083) (← links)
- Chemical reaction network designs for asynchronous logic circuits (Q6084209) (← links)
- Programming discrete distributions with chemical reaction networks (Q6084210) (← links)
- Petri-net-based 2D design of DNA walker circuits (Q6084212) (← links)
- Formal modelling and verification of probabilistic resource bounded agents (Q6190087) (← links)
