3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2025★ 3 cited
A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
Bram Kohlen, Maximilian Schäffeler, Mohammad Abdulaziz +2
We present an efficiently executable, formally verified implementation of interval iteration for MDPs. Our correctness proofs span the entire development from the high-level abstra…
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…