Compositional Abstraction for Timed Systems with Broadcast Synchronization.

Hanyue Chen, Miaomiao Zhang, Frits W. Vaandrager

Browse the full CAV paper archive.