Paper Accepted for FORMATS 2020
The paper "Dynamic Causes for the Violation of Timed Reachability Properties", authored by Martin Kölbl, Stefan Leue and Robert Schmid (University of Konstanz) has been accepted for the 18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020), to be held in Vienna, Austria, in September 2020.