Mechanized Reasoning for Continuous Problem Domains (Invited Talk).

Rob Arthan

Browse the full CADE paper archive.