Learning Nondeterministic Real-Time Automata

Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang. Learning Nondeterministic Real-Time Automata. ACM Trans. Embedded Comput. Syst., 20(5s), 2021. [doi]

Abstract

Abstract is missing.