Backwards Reachability for Probabilistic Timed Automata: A Replication Report

Arnd Hartmanns, Bram Kohlen

Research output: Contribution to conferencePaperAcademic

3 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2022
Event1st Workshop on Reproducibility and Replication of Research Results, RRRR 2022 - Garching, Germany
Duration: 2 Apr 20222 Apr 2022
Conference number: 1
https://qcomp.org/rrrr/2022/

Workshop

Workshop1st Workshop on Reproducibility and Replication of Research Results, RRRR 2022
Abbreviated titleRRRR 2022
Country/TerritoryGermany
CityGarching
Period2/04/222/04/22
Internet address

Cite this