Probabilistic Duration Automata for Analyzing Real-Time Systems
No abstract available.
Related papers
- From Duration Calculus To Linear Hybrid Automata CAV 1995
- Upper Bounds for Newton's Method on Monotone Polynomial Systems, and P-Time Model Checking of Probabilistic One-Counter Automata CAV 2013
- Model Checking Probabilistic Timed Automata with One or Two Clocks TACAS 2007
- Bridging the semantic gap between qualitative and quantitative models of distributed systems OOPSLA 2022
- PRISM 4.0: Verification of Probabilistic Real-Time Systems CAV 2011
- A Model Checker for Hierarchical Probabilistic Real-Time Systems CAV 2012
- On Sampling Abstraction of Continuous Time Logic with Durations TACAS 2007
- A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation CAV 2023