2 papers
cs.FL2026
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…
cs.FL2025
Compositional Abstraction for Timed Systems with Broadcast Synchronization
Hanyue Chen, Miaomiao Zhang, Frits Vaandrager
Simulation-based compositional abstraction effectively mitigates state space explosion in model checking, particularly for timed systems. However, existing approaches do not suppor…