12 citations · 39 across the 12 of their papers we have counts for
1 paper · 1 filter
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…