Learning One-Clock Timed Automata
From MaRDI portal
Publication:5039523
DOI10.1007/978-3-030-45190-5_25MaRDI QIDQ5039523
Jie An, Mingshuai Chen, Bohua Zhan, Miaomiao Zhang, Naijun Zhan
Publication date: 13 October 2022
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1910.10680
active learning; automaton learning; timed language; one-clock timed automata; reset-logical-timed language
Related Items
Active learning of timed automata with unobservable resets, Inferring switched nonlinear dynamical systems, A novel learning algorithm for Büchi automata based on family of DFAs and classification trees, Learning Mealy machines with one timer
Uses Software