1 paper
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…