O
rdinary_
D
ifferential_
E
quations Dependents
2019
The Poincaré-Bendixson Theorem
by
Fabian Immler
and
Yong Kiam Tan
Dec 18
Verification Components for Hybrid Systems
by
Jonathan Julian Huerta y Munive
Sep 10
2017
Differential Dynamic Logic
by
Rose Bohrer
Feb 13