- Register Automata with Permutations Mrudula Balachander Emmanuel Filiot Raffaella Gentilini Nikos Tzevelekos Sun 24 August 2025
- Active Learning for Sound Negotiations Anca Muscholl Igor Walukiewicz Mon 29 August 2022
- Computer-assisted Specification of Asynchronous Interfaces with Non-deterministic Behavior Nicholas V. Lewchenko Sun 28 January 2018
- Learning Nominal Automata Joshua Moerman Matteo Sammartino Alexandra Silva Bartek Klin Michał Szynwelski Fri 31 March 2017
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
