FAST: Fast Acceleration of Symbolikc Transition Systems.

Sbastien Bardin, Alain Finkel, Jrme Leroux, Laure Petrucci

Browse the full CAV paper archive.