Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions.

Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, Jun Sun

Browse the full CAV paper archive.