Jana Tumová
Active in these projects
Ongoing
Scavenger: Real-time logic-based control for an autonomous scavenger robot
Aboyut the project ObjectiveThis project aims to...
Henny Admoni
Scholar in residence September 2024 – August...
Designing Rules for Multi-Robot Systems
July 2023 – July 2025 ObjectiveThis project...
Risk Aware Planning and Control for Autonomous Underwater Vehicles
June 2023 – June 2025 ObjectiveThe goal...
Completed
Secure-by-Construction Controller Synthesis of Cyber-Physical Systems
November 2022 – November 2024 ObjectiveThis project...