A Symbolic Decision Procedure for Robust Safety of Timed Systems.

Mani Swaminathan, Martin Frnzle

Browse the full TIME paper archive.