Efficient Timed Reachability Analysis Using Clock Difference Diagrams.

Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi

Browse the full CAV paper archive.