Skip to content

Polynomial Identification of mega-Automata.

Dana Angluin, Dana Fisman, Yaara Shoval

VenueATACAS
Year2020
ProceedingsTACAS (2)

Browse the full TACAS paper archive.