Tweaking the odds in probabilistic timed automata
From MaRDI portal
Publication:832050
DOI10.1007/978-3-030-85172-9_3zbMath1491.68098OpenAlexW3196044394MaRDI QIDQ832050
Joost-Pieter Katoen, Arnd Hartmanns, Jip Spel, Bram Kohlen
Publication date: 24 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-85172-9_3
Formal languages and automata (68Q45) Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Performance analysis of probabilistic timed automata using digital clocks
- A theory of timed automata
- Automatic verification of real-time systems with discrete probability distributions.
- Probabilistic timed automata with clock-dependent probabilities
- Linear parametric model checking of timed automata
- Parameter synthesis for Markov models: faster than ever
- Iterative bounded synthesis for efficient cycle detection in parametric timed automata
- Probabilistic model checking of AODV
- The 10,000 facets of MDP model checking
- An extension of the inverse method to probabilistic timed automata
- Model checking for probabilistic timed automata
- A compositional modelling and analysis framework for stochastic hybrid systems
- Consistency in parametric interval probabilistic timed automata
- Symbolic model checking for probabilistic timed automata
- The complexity of reachability in parametric Markov decision processes
- Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata
- Model Checking Probabilistic Systems
- Strict Divergence for Probabilistic Timed Automata
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
- Stochastic Games for Verification of Probabilistic Timed Automata
- What good are digital clocks?
- Parametric real-time reasoning
- Synthesis in pMDPs: a tale of 1001 parameters
This page was built for publication: Tweaking the odds in probabilistic timed automata
