From FI to Boston and Stockholm: connection between theory and practice in formal methods for robotics
How does a love of mathematics lead to research in robotics? Jana Tůmová has become an expert in formal methods for robotics thanks to her active involvement in the lab at FI and international internships.