Tarzan: A Region-Based Library for Forward and Backward Reachability of Timed Automata.

Andrea Manini, Matteo G. Rossi, Pierluigi San Pietro

Browse the full FORTE paper archive.