Consistency in Parametric Interval Probabilistic Timed Automata

Étienne André, Benoît Delahaye. Consistency in Parametric Interval Probabilistic Timed Automata. In Curtis E. Dyreson, Michael R. Hansen, Luke Hunsberger, editors, 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, Kongens Lyngby, Denmark, October 17-19, 2016. pages 110-119, IEEE Computer Society, 2016. [doi]

Abstract

Abstract is missing.