Backwards Reachability for Probabilistic Timed Automata: A Replication Report

Arnd Hartmanns, Bram Kohlen

Research output: Contribution to conferencePaper

14 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

Keywords

  • This work was part of the MISSION (Models in Space Systems: Integration, Operation, and Networking) project, funded by the European Union’s Horizon 2020 research and innovation programme under Marie Skłodowska-Curie Actions grant number 101008233.

Cite this