21 citations · 53 across the 22 of their papers we have counts for
Showing 2022 · cs.LOShow all
2 papers · 2 filters
cs.LO2022★ 1 cited
Backwards Reachability for Probabilistic Timed Automata: A Replication Report
Arnd Hartmanns, Bram Kohlen
Backwards reachability is an efficient zone-based approach for model checking probabilistic timed automata w.r.t. PTCTL properties. Current implementations, however, are restricted…
cs.LO2022★ 5 cited
An Overview of Modest Models and Tools for Real Stochastic Timed Systems
Arnd Hartmanns
We depend on the safe, reliable, and timely operation of cyber-physical systems ranging from smart grids to avionics components. Many of them involve time-dependent behaviours and…