Inferring Finite State Machines Without Reset Using State Identification Sequences

Roland Groz,A. Simão,A. Petrenko,Catherine Oriat
DOI: https://doi.org/10.1007/978-3-319-25945-1_10
2015-11-23
Abstract:
What problem does this paper attempt to address?