Combining Deduction and Algebraic Constraints for Hybrid System Analysis.

Andr Platzer

Browse the full CADE paper archive.