Search filters

List of works by Behzad Akbarpour

Applications of MetiTarski in the Verification of Control and Hybrid Systems

Formal verification of analog designs using MetiTarski

article

MetiTarski: An Automatic Prover for the Elementary Functions

MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions

scientific article (publication date: 18 August 2009)

Paulina is supported by:

About Paulina

Help