Research project

Linear-Time Temporal Logics for Continuous Space Probabilistic Systems

Staff

Lead researcher

Associate Professor

Connect with Corina

Email: cc2@ecs.soton.ac.uk

We research the science and engineering of complex areas. We focus on areas including human-machine teams and human-in-the-loop interaction.