According to our database1, Clemens Wiltsche authored at least 14 papers between 2012 and 2018.
Legend:Book In proceedings Article PhD thesis Other
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives.
Int. J. Softw. Tools Technol. Transf., 2018
Inf. Comput., 2018
IEEE Trans Autom. Sci. Eng., 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
Automated Synthesis of Controllers for Search and Rescue from Temporal Logic Specifications
Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013
Proceedings of the 12th European Control Conference, 2013
Proceedings of the American Control Conference, 2012