Clemens Wiltsche

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives.
Int. J. Softw. Tools Technol. Transf., 2018

Compositional strategy synthesis for stochastic games with multiple objectives.
Inf. Comput., 2018

2016
Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems.
IEEE Trans Autom. Sci. Eng., 2016

PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015
Assume-guarantee strategy synthesis for stochastic games.
PhD thesis, 2015

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Controller synthesis for autonomous systems interacting with human operators.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

2014
Compositional Controller Synthesis for Stochastic Games.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

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

Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

On Stochastic Games with Multiple Objectives.
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

Synthesis of an asynchronous communication protocol for search and rescue robots.
Proceedings of the 12th European Control Conference, 2013

2012
Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication
CoRR, 2012

Feed-forward parameter identification for precise periodic quadrocopter motions.
Proceedings of the American Control Conference, 2012


  Loading...