Model checking continuous-time Markov chains by transient analysis
From MaRDI portal
Reliability, testing and fault tolerance of networks and computer systems (68M15) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cited in
(51)- Model-checking large structured Markov chains.
- Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
- Learning deterministic probabilistic automata from a model checking perspective
- Model checking Markov population models by stochastic approximations
- Computation tree measurement language (CTML)
- Guarded autonomous transitions increase conciseness and expressiveness of timed automata
- Time-bounded termination analysis for probabilistic programs with delays
- Logical characterization of fluid equivalences
- Model checking single agent behaviours by fluid approximation
- Precisely deciding CSL formulas through approximate model checking for CTMCs
- Fault trees on a diet: automated reduction by graph rewriting
- On the relations between Markov chain lumpability and reversibility
- Precise parameter synthesis for stochastic biochemical systems
- Distributed disk-based algorithms for model checking very large Markov chains
- Probabilistic model checking of complex biological pathways
- Model checking expected time and expected reward formulae with random time bounds
- Statistical probabilistic model checking with a focus on time-bounded properties
- Model checking discounted temporal properties
- Weak probabilistic anonymity
- Efficient CSL model checking using stratification
- Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
- Strict Divergence for Probabilistic Timed Automata
- Time-bounded model checking of infinite-state continuous-time Markov chains
- Delayed Nondeterminism in Continuous-Time Markov Decision Processes
- LTL model checking of time-inhomogeneous Markov chains
- Lumpability abstractions of rule-based systems
- scientific article; zbMATH DE number 1884410 (Why is no real title available?)
- scientific article; zbMATH DE number 1884412 (Why is no real title available?)
- scientific article; zbMATH DE number 2090708 (Why is no real title available?)
- Scenario-based verification of uncertain MDPs
- CCMC: a conditional CSL model checker for continuous-time Markov chains
- Parameter and controller synthesis for Markov chains with actions and state labels
- Model checking of biological systems
- Checking individual agent behaviours in Markov population models by fluid approximation
- Tools and Algorithms for the Construction and Analysis of Systems
- Theoretical Aspects of Computing – ICTAC 2005
- IDD-based model validation of biochemical networks
- Model-checking continuous-time Markov chains
- Verification of linear duration properties over continuous-time Markov chains
- Verification of linear duration properties over continuous-time markov chains
- Petri-net-based 2D design of DNA walker circuits
- Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
- Optimal deterministic controller synthesis from steady-state distributions
- Sampling-Based Verification of CTMCs with Uncertain Rates
- Monitoring algorithmic fairness
- A probabilistic logic for verifying continuous-time Markov chains
- Checking continuous stochastic logic against quantum continuous-time Markov chains
- A logic for application level QoS
- Fluid computation of passage-time distributions in large Markov models
- Performability assessment by model checking of Markov reward models
This page was built for publication: Model checking continuous-time Markov chains by transient analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2754096)
