Chia-Man Hung | Oxford
Marc Rigter
My research focuses on the intersection of decision making under uncertainty, formal methods and mobile robotics. In particular, I am interested on the use of a combination of techniques from learning, planning and model checking to synthesise intelligent, robust and verifiable behaviour, both for single and for multi-robot systems. My research interests include: Sequential Decision Making under Uncertainty Probabilistic Model Checking Planning for Robots Multi-Robot Coordination Autonomy in Extreme Environ
My cv (last updated December 2022) can be found here .
Between 2013 and 2017, I was part of the Intelligent Robotics Lab , at the School of Computer Science , University of Birmingham . I mainly worked within the STRANDS (Spatio-Temporal Representations and Activities for Cognitive Control in Long-Term Scenarios) project where I developed control approaches that both handle the inherent uncertainties of human populated environments, and take advantage of the spatio-temporal data obtained from the long term deployment of robot systems to improve their performanc
Chia-Man Hung | Oxford
Marc Rigter