<--- Back to Details
First PageDocument Content
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
Date: 2018-09-30 08:43:02
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

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

Add to Reading List

Source URL: www.falkhowar.de

Download Document from Source Website

File Size: 316,67 KB

Share Document on Facebook

Similar Documents

PROJECT PAI  TECHNICAL WHITEPAPER SUMMARY PAI BLOCKCHAIN PROTOCOL: A DECENTRALIZED ARTIFICIAL INTELLIGENCE NETWORK

PROJECT PAI TECHNICAL WHITEPAPER SUMMARY PAI BLOCKCHAIN PROTOCOL: A DECENTRALIZED ARTIFICIAL INTELLIGENCE NETWORK

DocID: 1xVWW - View Document

Persistent Memory for Artificial Intelligence Bill Gervasi Principal Systems Architect  Santa Clara, CA

Persistent Memory for Artificial Intelligence Bill Gervasi Principal Systems Architect Santa Clara, CA

DocID: 1xVOm - View Document

Journal of Machine Learning Research, 4th International Conference on Predictive Applications and APIs  Marvin - Open source artificial intelligence platform Lucas B. Miguel

Journal of Machine Learning Research, 4th International Conference on Predictive Applications and APIs Marvin - Open source artificial intelligence platform Lucas B. Miguel

DocID: 1xVLb - View Document

Cybersecurity Powered by Artificial Intelligence and the Blockchain HEROIC.com Team February 2018

Cybersecurity Powered by Artificial Intelligence and the Blockchain HEROIC.com Team February 2018

DocID: 1xVHi - View Document