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.