TReX: A Tool for Reachability Analysis of Complex Systems.

Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu

Browse the full CAV paper archive.