Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems.

Viorica Sofronie-Stokkermans

Browse the full CADE paper archive.