HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03201649
Contributor : Lénaïg Cornanguer Connect in order to contact the contributor
Submitted on : Monday, April 19, 2021 - 10:08:49 AM
Last modification on : Monday, April 4, 2022 - 9:28:27 AM
Long-term archiving on: : Tuesday, July 20, 2021 - 6:20:39 PM

File

AAAI_2021_Lenaig.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03201649, version 1

Citation

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⟩

Share

Metrics

Record views

88

Files downloads

90