A Symbolic Decision Procedure for Robust Safety of Timed Systems

Mani Swaminathan, Martin Fränzle. A Symbolic Decision Procedure for Robust Safety of Timed Systems. In 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 28-30 June 2007, Alicante, Spain. pages 192, IEEE Computer Society, 2007. [doi]

Abstract

Abstract is missing.