Léo Exibard
Léo Exibard
Home
Publications
Talks
Teaching
Contact
Light
Dark
Automatic
Good-for-Gameness
History-deterministic Register Automata @ NWPT 2021
History-deterministic register automata form a promising class for synthesis and runtime verification applications.
Léo Exibard
,
Karoliina Lehtinen
Nov 5, 2021
PDF
Slides
Video
Cite
×