Login / Signup
Bram Kohlen
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Reachability Analysis
Temporal Logic
Theorem Prover
First Order Logic
Top Venues
CoRR
QEST
ATVA (1)
</>
Publications
</>
Arnd Hartmanns
,
Bram Kohlen
,
Peter Lammich
Fast Verified SCCs for Probabilistic Model Checking.
ATVA (1)
(2023)
Arnd Hartmanns
,
Bram Kohlen
Backwards Reachability for Probabilistic Timed Automata: A Replication Report.
CoRR
(2022)
Arnd Hartmanns
,
Joost-Pieter Katoen
,
Bram Kohlen
,
Jip Spel
Tweaking the Odds in Probabilistic Timed Automata.
QEST
(2021)