Login / Signup
Damien Zufferey
ORCID
Publication Activity (10 Years)
Years Active: 2008-2023
Publications (10 Years): 28
Top Topics
State Machines
Clinical Data
Controller Synthesis
Human Robot
Top Venues
CoRR
TACAS
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
FASE
</>
Publications
</>