Author:
Caldwell Ben,Cardell-Oliver Rachel,French Tim
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Learning Deterministic Multi-Clock Timed Automata;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14
2. Learning Mealy machines with one timer;Information and Computation;2023-12
3. Equivalence checking and intersection of deterministic timed finite state machines;Formal Methods in System Design;2021-12
4. Learning Nondeterministic Real-Time Automata;ACM Transactions on Embedded Computing Systems;2021-10-31
5. Learning Mealy Machines with One Timer;Language and Automata Theory and Applications;2021