Active Automata Learning as Black-Box Search and Lazy Partition Refinement
Falk Howar, Bernhard Steffen
Topics & Concepts
Computer scienceCounterexampleBenchmark (surveying)Equivalence (formal languages)AutomatonPartition (number theory)Theoretical computer scienceLearning automataActive learning (machine learning)AlgorithmArtificial intelligenceDiscrete mathematicsMathematicsCombinatoricsGeodesyGeographyMachine Learning and Algorithmssemigroups and automata theoryOptimization and Search Problems