497 citations · 2.1k across the 297 of their papers we have counts for
1 paper · 2 filters
Clemens Wiltsche, Ufuk Topcu, Richard M. Murray
We present a synthesis method for communication protocols for active safety applications that satisfy certain formal specifications on quality of service requirements. The protocol…