Tweaking the odds in probabilistic timed automata
DOI10.1007/978-3-030-85172-9_3zbMATH Open1491.68098OpenAlexW3196044394MaRDI QIDQ832050FDOQ832050
Authors: Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Spel 
Publication date: 24 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-85172-9_3
Recommendations
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions
- An extension of the inverse method to probabilistic timed automata
- \(\mathrm{MDP + TA = PTA}\): probabilistic timed automata, formalized (short paper)
- Model checking for probabilistic timed automata
Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Markov and semi-Markov decision processes (90C40)
Cites Work
- Title not available (Why is that?)
- A theory of timed automata
- What good are digital clocks?
- Title not available (Why is that?)
- Automatic verification of real-time systems with discrete probability distributions.
- Model checking for probabilistic timed automata
- Symbolic model checking for probabilistic timed automata
- Title not available (Why is that?)
- Performance analysis of probabilistic timed automata using digital clocks
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
- Parametric real-time reasoning
- Linear parametric model checking of timed automata
- Stochastic games for verification of probabilistic timed automata
- Strict Divergence for Probabilistic Timed Automata
- The complexity of reachability in parametric Markov decision processes
- 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
- A compositional modelling and analysis framework for stochastic hybrid systems
- Consistency in parametric interval probabilistic timed automata
- Statistical approximation of optimal schedulers for probabilistic timed automata
- Model checking probabilistic systems
- Model checking probabilistic real-time properties for service-oriented systems with service level agreements
- Synthesis in pMDPs: a tale of 1001 parameters
Cited In (8)
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions
- An extension of the inverse method to probabilistic timed automata
- Symbolic minimum expected time controller synthesis for probabilistic timed automata
- \(\mathrm{MDP + TA = PTA}\): probabilistic timed automata, formalized (short paper)
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions
- Parameter synthesis in Markov models: a gentle survey
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata
- Merge and conquer: state merging in parametric timed automata
Uses Software
This page was built for publication: Tweaking the odds in probabilistic timed automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q832050)
