Pages that link to "Item:Q3003315"
From MaRDI portal
The following pages link to Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications (Q3003315):
Displaying 17 items.
- Learning deterministic probabilistic automata from a model checking perspective (Q1689574) (← links)
- Guarded autonomous transitions increase conciseness and expressiveness of timed automata (Q1996031) (← links)
- On-the-fly verification and optimization of DTA-properties for large Markov chains (Q2248080) (← links)
- Model checking single agent behaviours by fluid approximation (Q2346412) (← links)
- Analysis of timed and long-run objectives for Markov automata (Q2921114) (← links)
- Fluid Model Checking of Timed Properties (Q2945594) (← links)
- Automata-Based CSL Model Checking (Q3012926) (← links)
- Time-Bounded Verification of CTMCs against Real-Time Specifications (Q3172840) (← links)
- Strict Divergence for Probabilistic Timed Automata (Q3184704) (← links)
- Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation (Q5300886) (← links)
- Probabilistic Model Checking for Energy-Utility Analysis (Q5418957) (← links)
- Verification of linear duration properties over continuous-time markov chains (Q5892433) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900585) (← links)
- The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism (Q5919051) (← links)
- Monitoring CTMCs by multi-clock timed automata (Q6041132) (← links)
- Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties (Q6104804) (← links)
- A probabilistic logic for verifying continuous-time Markov chains (Q6535602) (← links)
