Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems.

Frederik M. Bnneland, Peter Gjl Jensen, Kim Guldstrand Larsen, Marco Muiz, Jir Srba

Browse the full CAV paper archive.