Bram Kohlen

According to our database, Bram Kohlen authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Efficient Formally Verified Maximal End Component Decomposition for MDPs.

Arnd Hartmanns, Bram Kohlen, Peter Lammich

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Fast Verified SCCs for Probabilistic Model Checking.

Arnd Hartmanns, Bram Kohlen, Peter Lammich

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Backwards Reachability for Probabilistic Timed Automata: A Replication Report.

Arnd Hartmanns, Bram Kohlen

CoRR, 2022

2021

Tweaking the Odds in Probabilistic Timed Automata.

Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Spel

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021