Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP.

Iulian Ober

Browse the full FMICS paper archive.