Differential Dynamic Logic for Verifying Parametric Hybrid Systems.

Andr Platzer

Browse the full TABLEAUX paper archive.