The following pages link to (Q2754196):
Displaying 12 items.
- Multiphase until formulas over Markov reward models: an algebraic approach (Q896909) (← links)
- Performability assessment by model checking of Markov reward models (Q968359) (← links)
- Mixing logics and rewards for the component-oriented specification of performance measures (Q995461) (← links)
- CSL model checking algorithms for QBDs (Q995462) (← links)
- On the use of MTBDDs for performability analysis and verification of stochastic systems. (Q1400289) (← links)
- Model-checking large structured Markov chains. (Q1400291) (← links)
- Computation tree measurement language (CTML) (Q1798671) (← links)
- Performance measure sensitive congruences for Markovian process algebras (Q1853585) (← links)
- Guarded autonomous transitions increase conciseness and expressiveness of timed automata (Q1996031) (← links)
- Precisely deciding CSL formulas through approximate model checking for CTMCs (Q2402369) (← links)
- Cost vs. time in stochastic games and Markov automata (Q2403526) (← links)
- Model Checking Exact Cost for Attack Scenarios (Q3304816) (← links)