Verification of Context-Free Timed Systems Using Linear Hybrid Observers.

Ahmed Bouajjani, Rachid Echahed, Riadh Robbana

Browse the full CAV paper archive.