Litcius/Paper detail

From Passive to Active: Learning Timed Automata Efficiently

Bernhard K. Aichernig, Andrea Pferscher, Martin Tappler

2020Lecture notes in computer science34 citationsDOI

Topics & Concepts

Computer scienceAutomatonSet (abstract data type)Learning automataActive learning (machine learning)Simple (philosophy)Timed automatonArtificial intelligenceMachine learningProgramming languagePhilosophyEpistemologySoftware Testing and Debugging TechniquesMachine Learning and AlgorithmsFormal Methods in Verification
From Passive to Active: Learning Timed Automata Efficiently | Litcius