Skip to main content

Clemens Wiltsche

Personal photo - Clemens Wiltsche

Clemens Wiltsche

Doctoral Student


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).


  • 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