Active Automata Learning in Practice An Annotated Bibliography of the Years 2011 to 2016 Falk Howar1 and Bernhard Steffen2 1 Dortmund University of Technology and Fraunhofer ISST, Dortmund, Germany

Source URL: www.falkhowar.de

• Finite automata
• Machine learning
• Artificial intelligence
• Dana Angluin
• Finite-state machine
• Active learning
• Theoretical computer science
• Formal languages
• Learning
• Model checking
• Cellular automata
• Induction of regular languages

Prof. Bernhard Steffen TU Dortmund BIO Bernhard Steffen graduated in Mathematicsand obtained a PhD in Computer Sciencefrom the Christian-Albrechts Universität Kiel (D), then he was Research Fellow at the

Source URL: ls5-www.cs.tu-dortmund.de

• Computing
• Software engineering
• Computer science
• Formal methods
• Theoretical computer science
• Bernhard Steffen
• Model checking
• Large-scale Complex IT Systems
• European Joint Conferences on Theory and Practice of Software
• Software development
• ACM Transactions on Programming Languages and Systems
• Draft:Tiziana Margaria

PDF Document

Source URL: www.fk14.tu-dortmund.de

PDF Document

Source URL: www.fk14.tu-dortmund.de

PDF Document

Source URL: www.fk14.tu-dortmund.de

PDF Document

Source URL: www.ffg.tu-dortmund.de

PDF Document

Source URL: www.fk14.tu-dortmund.de

PDF Document

Source URL: www.ffg.tu-dortmund.de

PDF Document

Source URL: www.mathematik.tu-dortmund.de

PDF Document

Source URL: www.fk12.tu-dortmund.de