Passive Learning of Timed Automata from Logs (Student Abstract) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

Passive Learning of Timed Automata from Logs (Student Abstract)

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.
Fichier principal
Vignette du fichier
AAAI_2021_Lenaig.pdf (201.74 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03201649 , version 1 (19-04-2021)

Identifiers

  • HAL Id : hal-03201649 , version 1

Cite

Lénaïg Cornanguer. Passive Learning of Timed Automata from Logs (Student Abstract). AAAI 2021 - 35th AAAI Conference on Artificial Intelligence, Feb 2021, Vancouver (virtual), Canada. pp.15773-15774. ⟨hal-03201649⟩
117 View
111 Download

Share

Gmail Mastodon Facebook X LinkedIn More