Residuality and Learning for Nondeterministic Nominal Automata

Moerman, Joshua (Corresponding author); Sammartino, Matteo (Corresponding author)

(2021)
Preprint

Institutions

• Department of Computer Science [120000]
• Chair of Computer Science 2 (Software Modeling and Verification) [121310]