Automata Learning-Reference-Cited by-同舟云学术

Automata Learning

Published:2020-07-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Urbat Henning¹,Schröder Lutz¹

Affiliation:

1. Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3373718.3394775

Reference62 articles.

1. Jiří Adámek and Vera Trnková. 1989. Automata and Algebras in Categories. Springer. Jiří Adámek and Vera Trnková. 1989. Automata and Algebras in Categories. Springer.

2. Free algebras and automata realizations in the language of categories;Adámek Jiří;Commentationes Mathematicae Universitatis Carolinae,1974

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A categorical interpretation of state merging algorithms for DFA inference;Pattern Recognition;2024-06

2. FaMoS– Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14

3. Using Forest Structures for Passive Automata Learning;Technologien für die intelligente Automation;2024

4. Towards the Automatic Generation of Models for Prediction, Monitoring, and Testing of Cyber-Physical Systems;2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA);2023-09-12

5. Decision Tree Models of Continuous Systems;2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA);2022-09-06