Probabilistic Timed Automata

MaRDI QIDQ7361470FDO

Authors Simon Wimmer, Johannes Hölzl

Publication date 24 May 2018

Cites work

• \(\mathrm{MDP + TA = PTA}\): probabilistic timed automata, formalized (short paper)
• Automatic verification of real-time systems with discrete probability distributions.
• Markov chains and Markov decision processes in Isabelle/HOL

Cited in

(1)

• Worklist Algorithms

This page was built for software: Probabilistic Timed Automata