Jana Tumova

Jana Tumova Assistant Professor Department of Robotics, Perception, and Learning (RPL) School of Computer Science and Communication KTH Royal Institute of Technology Teknikringen 14, floor 6 SE-100 44 Stockholm, Sweden E-mail: tumova at kth dot se

Research Interests

Formal verification, control synthesis, and temporal logics in general, as well as formal methods applied in robot motion planning, control and analysis of dynamical and hybrid systems and multi-agent control.