Efficient CTMC Model Checking of Linear Real-Time Objectives
Abstract elided by the publisher.
Related papers
- A Probabilistic Logic for Verifying Continuous-time Markov Chains TACAS 2022
- STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis CAV 2019
- Monitoring CTMCs by Multi-clock Timed Automata CAV 2018
- Symboloc Model Checking for Event-Driven Real-Time Systems TOPLAS 1997
- Efficient Decision Procedures for Model Checking of Linear Time Logic Properties CAV 1999
- CTMCs with Imprecisely Timed Observations TACAS 2024
- Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF TACAS 2017
- Multi-objective Optimization of Long-run Average and Total Rewards TACAS 2021