Feed-forward parameter identification for precise periodic quadrocopter motions. - Angela P. Schoellig; Clemens Wiltsche; Raffaello D'Andrea (ACC, 2012)

Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication - Clemens Wiltsche; Ufuk Topcu; Richard M. Murray (CoRR, 2012)

Synthesis of an asynchronous communication protocol for search and rescue robots. - Clemens Wiltsche; John Lygeros; Federico Alessandro Ramponi (ECC, 2013)

On Stochastic Games with Multiple Objectives. - Taolue Chen 001; Vojtech Forejt; Marta Z. Kwiatkowska; Aistis Simaitis; Clemens Wiltsche (MFCS, 2013)

Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving. - Taolue Chen 001; Marta Z. Kwiatkowska; Aistis Simaitis; Clemens Wiltsche (QEST, 2013)

Automated Synthesis of Controllers for Search and Rescue from Temporal Logic Specifications - Clemens Wiltsche (CoRR, 2013)

Compositional Controller Synthesis for Stochastic Games. - Nicolas Basset; Marta Z. Kwiatkowska; Clemens Wiltsche (CONCUR, 2014)

Controller synthesis for autonomous systems interacting with human operators. - Lu Feng 001; Clemens Wiltsche; Laura R. Humphrey; Ufuk Topcu (ICCPS, 2015)

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives. - Nicolas Basset; Marta Z. Kwiatkowska; Ufuk Topcu; Clemens Wiltsche (TACAS, 2015)

Assume-guarantee strategy synthesis for stochastic games. - Clemens Wiltsche (2015)

PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. - Marta Kwiatkowska; David Parker 001; Clemens Wiltsche (TACAS, 2016)

Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems. - Lu Feng 001; Clemens Wiltsche; Laura R. Humphrey; Ufuk Topcu (IEEE Trans Autom. Sci. Eng., 2016)

Compositional strategy synthesis for stochastic games with multiple objectives. - Nicolas Basset; Marta Z. Kwiatkowska; Clemens Wiltsche (Inf. Comput., 2018)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. - Marta Kwiatkowska; David Parker 001; Clemens Wiltsche (Int. J. Softw. Tools Technol. Transf., 2018)