Back to Results
First PageMeta Content
Automated theorem proving / Mathematics / Systems theory / Abstraction / Dynamical systems / Differential equations / Hybrid system


Differential Dynamic Logics Automated Theorem Proving for Hybrid Systems Andr´e Platzer Department of Computing Science Carl-von-Ossietzky University of Oldenburg, Germany
Add to Reading List

Document Date: 2014-08-04 10:09:30

Open Document

File Size: 2,09 MB

Share Result on Facebook

Company

Verifying Parametric Hybrid Systems Parametric Hybrid Systems / Hybrid Systems / /

Facility

University of Oldenburg / Computing Science Carl-von-Ossietzky University of Oldenburg / /

Organization

University of Oldenburg / Hybrid Systems Andr´e Platzer Department / /

SocialTag