The main focus of my research is in the use of formal methods from computer science in control for autonomous systems. Generally, my research interests include formal verification, automata-based model checking, game theory, control strategy synthesis, temporal logics, probabilistic systems, systems with uncertainty, high-level motion planning, receding horizon control and optimal control.
Maria Svorenova is a research assisstant with Marta Kwiatkowska at the Dept. of Computer Science at University of Oxford. She holds a bachelor and master degree in Algebra and Discrete Mathematics, a bachelor degree in Computer Science and a PhD in the field of formal verification and game theory in high-level motion planning under temporal constraints under the supervision of Ivana Cerna, all from Masaryk University in Brno, Czech republic. She is currently working on EPSRC Mobile Autonomy Programme Grant: Safety, Trust and Integrity, led by Paul Newman, with co-investigators Ingmar Posner, Niki Trigoni and Marta Kwiatkowska.