Compositional Automata Learning of Timed Synchronous Systems

Hanyue Chen, Chang Liu, Miaomiao Zhang

Active model learning is a crucial technique for automatically constructing formal models of black-box timed systems. However, existing learning approaches typically construct a si…