<p>We develop a research agenda for the field of automata learning. Automata learning algorithms infer state-machines from observations. The study of such algorithms began in the 1970s and until today has led to a wide range of different learning models, learnability results, and learning algorithms for many different classes of automata as well as to many different applications of automata learning, e.g., specification generation, learning-based testing, and black-box verification. As the field still stratifies and learning algorithms and new applications are conceived, it will be helpful to consolidate and integrate individual obtained results into a coherent set of principles of automata learning and techniques for devising learning algorithms. We aim to provide a step in this direction by conducting a survey of active automata learning methods, focusing on different application scenarios (application domains, environments, and desirable guarantees) and the overarching challenges that emerge from these. We identify concrete research questions through a (short) bibliographic study highlighting the state of the art and the technical implications that are derived from the overarching challenges.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A research agenda for active automata learning

  • Sophie Fortz,
  • Fatemeh Ghassemi,
  • Léo Henry,
  • Falk Howar,
  • Thomas Neele,
  • Jurriaan Rot,
  • Marnix Suilen

摘要

We develop a research agenda for the field of automata learning. Automata learning algorithms infer state-machines from observations. The study of such algorithms began in the 1970s and until today has led to a wide range of different learning models, learnability results, and learning algorithms for many different classes of automata as well as to many different applications of automata learning, e.g., specification generation, learning-based testing, and black-box verification. As the field still stratifies and learning algorithms and new applications are conceived, it will be helpful to consolidate and integrate individual obtained results into a coherent set of principles of automata learning and techniques for devising learning algorithms. We aim to provide a step in this direction by conducting a survey of active automata learning methods, focusing on different application scenarios (application domains, environments, and desirable guarantees) and the overarching challenges that emerge from these. We identify concrete research questions through a (short) bibliographic study highlighting the state of the art and the technical implications that are derived from the overarching challenges.