Search

Léo Exibard

Léo Exibard

Home
Research
Teaching
Contact

History-determinism

History-deterministic Register Automata @ NWPT 2021

History-deterministic register automata form a promising class for synthesis and runtime verification applications.

2021 Léo Exibard · This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License · Permissions beyond the scope of this license may be available at Contact address · Powered by the Academic theme for Hugo.

Cite