Learning real-time automata
Jie An, Lingtai Wang, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
Topics & Concepts
AutomatonLearning automataDiscrete mathematicsSemantics (computer science)Computer scienceTheoretical computer scienceAlgorithmMathematicsCombinatoricsProgramming languageMachine Learning and Algorithmssemigroups and automata theoryFormal Methods in Verification