Clemens Wiltsche

Identifiers

• name variant Clemens Wiltsche 0.60 · backfill

Papers (2)

1. Automated Synthesis of Controllers for Search and Rescue from Temporal Logic Specifications cs.SY · 2013 · author #1
2. Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication cs.SY · 2012 · author #1

Mentions

• 1304.6898 #1 · arxiv_oai · confidence 0.70 Clemens Wiltsche
• 1210.2035 #1 · arxiv_oai · confidence 0.70 Clemens Wiltsche
• 1304.6898 #1 · backfill · confidence 0.70 Clemens Wiltsche
• 1210.2035 #1 · backfill · confidence 0.70 Clemens Wiltsche

Frequent Coauthors

• Richard M. Murray 1 shared papers
• Ufuk Topcu 1 shared papers