T
imed_
A
utomata Dependents
2018
Probabilistic Timed Automata
by
Simon Wimmer
and
Johannes Hölzl
May 24