Login / Signup

Martin Fränzle

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 92

Top Topics

Differential Equations
Satisfiability Modulo Theories
Formal Verification
Hybrid Automata

Top Venues

CoRR
it Inf. Technol.
IEEE Trans. Autom. Control.
ACM Trans. Cyber Phys. Syst.

University of Kiel (PHD)

Education History
University of Kiel

PHD

Publications