Research
Inferring Models Automata Learning In many instances, it is not possible to manually model the environment or to obtain a model of black-box system. It is, however, possible to either learn models of the environment [...] allowed to take all the actions of the environment to learn a behavioral model of the component from tests . We develop active and passive automata learning algorithms for different types of extended finite [...] ts can be checked automatically. Unfortunately, engineers are usually not well-trained in formal logic and, especially for cyber- physical systems, formal requirements become complex quickly. We are convinced …
