Active Learning of One-Clock Timed Automata Using Constraint Solving
Runqing Xu, Jie An, Bohua Zhan
Topics & Concepts
Computer scienceReset (finance)AutomatonCommitTimed automatonLearning automataConstraint (computer-aided design)Theoretical computer scienceAlgorithmMathematicsDatabaseEconomicsGeometryFinancial economicsMachine Learning and Algorithmssemigroups and automata theoryFormal Methods in Verification