Clemens Wiltsche

According to our database, Clemens Wiltsche authored at least 14 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives.

Marta Kwiatkowska, David Parker, Clemens Wiltsche

Int. J. Softw. Tools Technol. Transf., 2018

Compositional strategy synthesis for stochastic games with multiple objectives.

Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche

Inf. Comput., 2018

2016

Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems.

Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu

IEEE Trans Autom. Sci. Eng., 2016

PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games.

Marta Kwiatkowska, David Parker, Clemens Wiltsche

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

Assume-guarantee strategy synthesis for stochastic games.

Clemens Wiltsche

PhD thesis, 2015

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives.

Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu, Clemens Wiltsche

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Controller synthesis for autonomous systems interacting with human operators.

Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

2014

Compositional Controller Synthesis for Stochastic Games.

Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

Automated Synthesis of Controllers for Search and Rescue from Temporal Logic Specifications

Clemens Wiltsche

CoRR, 2013

Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving.

Taolue Chen, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

On Stochastic Games with Multiple Objectives.

Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

Synthesis of an asynchronous communication protocol for search and rescue robots.

Clemens Wiltsche, John Lygeros, Federico Alessandro Ramponi

Proceedings of the 12th European Control Conference, 2013

2012

Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication

Clemens Wiltsche, Ufuk Topcu, Richard M. Murray

CoRR, 2012

Feed-forward parameter identification for precise periodic quadrocopter motions.

Angela P. Schoellig, Clemens Wiltsche, Raffaello D'Andrea

Proceedings of the American Control Conference, 2012