1 citations · 1 across the 2 of their papers we have counts for
2 papers
eess.SY2013★ 1 cited
Automated Synthesis of Controllers for Search and Rescue from Temporal Logic Specifications
Clemens Wiltsche
In this thesis, the synthesis of correct-by-construction controllers for robots assisting in Search and Rescue (SAR) is considered. In recent years, the development of robots assis…
eess.SY2012
Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication
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…