The following pages link to (Q2754096):
Displaying 28 items.
- Lumpability abstractions of rule-based systems (Q418843) (← links)
- IDD-based model validation of biochemical networks (Q548487) (← links)
- Fluid computation of passage-time distributions in large Markov models (Q764294) (← links)
- Performability assessment by model checking of Markov reward models (Q968359) (← links)
- Model-checking large structured Markov chains. (Q1400291) (← links)
- Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. (Q1400292) (← links)
- Learning deterministic probabilistic automata from a model checking perspective (Q1689574) (← links)
- Model checking Markov population models by stochastic approximations (Q1784959) (← links)
- Computation tree measurement language (CTML) (Q1798671) (← links)
- Guarded autonomous transitions increase conciseness and expressiveness of timed automata (Q1996031) (← links)
- Time-bounded termination analysis for probabilistic programs with delays (Q2216132) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Model checking single agent behaviours by fluid approximation (Q2346412) (← links)
- Precisely deciding CSL formulas through approximate model checking for CTMCs (Q2402369) (← links)
- Fault trees on a diet: automated reduction by graph rewriting (Q2403528) (← links)
- On the relations between Markov chain lumpability and reversibility (Q2406431) (← links)
- Precise parameter synthesis for stochastic biochemical systems (Q2407983) (← links)
- Distributed disk-based algorithms for model checking very large Markov chains (Q2431769) (← links)
- Probabilistic model checking of complex biological pathways (Q2474435) (← links)
- Model checking expected time and expected reward formulae with random time bounds (Q2494794) (← links)
- Statistical probabilistic model checking with a focus on time-bounded properties (Q2509358) (← links)
- Model checking discounted temporal properties (Q2575738) (← links)
- Weak Probabilistic Anonymity (Q2864392) (← links)
- Strict Divergence for Probabilistic Timed Automata (Q3184704) (← links)
- Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. (Q5240153) (← links)
- Petri-net-based 2D design of DNA walker circuits (Q6084212) (← links)
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic (Q6151620) (← links)
- Optimal deterministic controller synthesis from steady-state distributions (Q6156635) (← links)
