Automata Inference in Software Engineering

Date:

In this remote presentation to bachelor students at UFOPA, I give a brief introduction to the concept of active model learning, its applications and the adaptive variant for evolving systems, Dynamic L*M.

The presentation is available here and can be seen below.

An exercise for the talk is available here.