Clemens Wiltsche

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 6

Top Venues

CoRR

TACAS

ACC

Int. J. Softw. Tools Technol. Transf.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche
Compositional strategy synthesis for stochastic games with multiple objectives. Inf. Comput. 261 (2018)
Marta Kwiatkowska, David Parker, Clemens Wiltsche
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. Int. J. Softw. Tools Technol. Transf. 20 (2) (2018)
Marta Kwiatkowska, David Parker, Clemens Wiltsche
PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. TACAS (2016)
Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu
Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems. IEEE Trans Autom. Sci. Eng. 13 (2) (2016)
Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu
Controller synthesis for autonomous systems interacting with human operators. ICCPS (2015)
Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu, Clemens Wiltsche
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives. TACAS (2015)
Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche
Compositional Controller Synthesis for Stochastic Games. CONCUR (2014)
Taolue Chen, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche
Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving. QEST (2013)
Clemens Wiltsche
Automated Synthesis of Controllers for Search and Rescue from Temporal Logic Specifications CoRR (2013)
Clemens Wiltsche, John Lygeros, Federico Alessandro Ramponi
Synthesis of an asynchronous communication protocol for search and rescue robots. ECC (2013)
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche
On Stochastic Games with Multiple Objectives. MFCS (2013)
Clemens Wiltsche, Ufuk Topcu, Richard M. Murray
Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication CoRR (2012)
Angela P. Schoellig, Clemens Wiltsche, Raffaello D'Andrea
Feed-forward parameter identification for precise periodic quadrocopter motions. ACC (2012)

Clemens Wiltsche.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Clemens Wiltsche