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.
https://hal.inria.fr/hal-03201649 Contributor : Lénaïg CornanguerConnect 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