Pages that link to "Item:Q3400550"
From MaRDI portal
The following pages link to Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains (Q3400550):
Displaying 8 items.
- Probabilistic model checking of biological systems with uncertain kinetic rates (Q764350) (← links)
- Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games (Q766176) (← links)
- Precisely deciding CSL formulas through approximate model checking for CTMCs (Q2402369) (← links)
- Analysis of timed and long-run objectives for Markov automata (Q2921114) (← links)
- Quantitative Analysis of Communication Scenarios (Q2945583) (← links)
- Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications (Q3003315) (← links)
- Time-Bounded Verification of CTMCs against Real-Time Specifications (Q3172840) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900585) (← links)