Login / Signup
Amaury Hayat
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 22
Top Topics
Theorem Proving
Pi Control
Traffic Flows
Proof Search
Top Venues
CoRR
IEEE Trans. Autom. Control.
Eur. J. Control
IFAC J. Syst. Control.
</>
Publications
</>