Passive learning of Timed Automata from logs (Student Abstract)

Authors

  • Lénaïg Cornanguer INRIA Univ Rennes CNRS IRISA

Keywords:

Timed Automata, Automata Learning, Log Analysis

Abstract

We propose a novel algorithm to passively learn deterministic Timed Automata from events sequences associated with the delay occurring between them. This algorithm produces models that are more specific than State-of-the-Art algorithms and that has a better identification of the temporal constraints applying on the systems.

Downloads

Published

2021-05-18

How to Cite

Cornanguer, L. (2021). Passive learning of Timed Automata from logs (Student Abstract). Proceedings of the AAAI Conference on Artificial Intelligence, 35(18), 15773-15774. Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/17883

Issue

Section

AAAI Student Abstract and Poster Program