Clemens Wiltsche

Clemens Wiltsche

Doctoral Student

Student, St Cross College

Interests

My main topic of research is in stochastic multi-objective games. Currently I am working on synthesising correct-by-construction strategies for probabilistic temporal logic specifications. Such strategies could be applied as high-level controllers or planners in dynamic systems, and I am actively investigating their use in the context of urban autonomous driving.

I am partially funded through LSCITS and the German Academic Exchange Service (DAAD).

Biography

• March - April 2012 California Institute of Technology: Visiting graduate researcher under Richard Murray
• 2010 - 2012 ETH Zurich: MSc in Electrical Engineering and Information Techonology, Systems and Control, supervised by Manfred Morari and John Lygeros
• 2007 - 2010 University of Cambridge: BA (Hons) in Computer Science

Selected Publications

View AllManage publications

• Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives

  Nicolas Basset‚ Marta Kwiatkowska and Clemens Wiltsche

  Department of Computer Science. Oxford‚ UK. 2016.

  Details about Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives | BibTeX data for Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives | Download  (pdf) of Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives

• Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives

  Nicolas Basset‚ Marta Kwiatkowska‚ Ufuk Topcu and Clemens Wiltsche

  No. RR−14−10. DCS. 2014.

  Details about Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives | BibTeX data for Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives | Download  (pdf) of Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives

• Compositional Controller Synthesis for Stochastic Games

  Nicolas Basset‚ Marta Kwiatkowska and Clemens Wiltsche

  No. RR−14−05. DCS. 2014.

  Details about Compositional Controller Synthesis for Stochastic Games | BibTeX data for Compositional Controller Synthesis for Stochastic Games | Download  (pdf) of Compositional Controller Synthesis for Stochastic Games

Supervisor