ML Anthology

Passive Learning of Timed Automata from Logs (Student Abstract)

Lénaïg Cornanguer
AAAI 2021 pp. 15773-15774
doi:10.1609/AAAI.V35I18.17883 /aaai/2021/cornanguer2021aaai-passive/

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.

PDF AAAI Semantic Scholar

Cite

Text

Cornanguer. "Passive Learning of Timed Automata from Logs (Student Abstract)." AAAI Conference on Artificial Intelligence, 2021. doi:10.1609/AAAI.V35I18.17883

Markdown

[Cornanguer. "Passive Learning of Timed Automata from Logs (Student Abstract)." AAAI Conference on Artificial Intelligence, 2021.](https://mlanthology.org/aaai/2021/cornanguer2021aaai-passive/) doi:10.1609/AAAI.V35I18.17883

BibTeX

@inproceedings{cornanguer2021aaai-passive,
  title     = {{Passive Learning of Timed Automata from Logs (Student Abstract)}},
  author    = {Cornanguer, Lénaïg},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2021},
  pages     = {15773-15774},
  doi       = {10.1609/AAAI.V35I18.17883},
  url       = {https://mlanthology.org/aaai/2021/cornanguer2021aaai-passive/}
}