Paper at QEST 2021

The paper entitled “Tweaking the Odds in Probabilistic Timed Automata” by Arnd Hartmanns (Twente), Joost-Pieter Katoen, Bram Kohlen (Twente) and Jip Spel has been accepted at the 18th International Conference on Quantitative Evaluation of Systems (QEST 2021). The paper shows that two well-known techniques (digital clocks and backward reachability) for probabilistic timed automata (PTA) carry over to PTA with parametric probabilities in a rather starighforward manner. A prototypical tool implementation based on the MoDeST tool-set and the Storm model checker shows the feasibility of the two approaches.