-
robotics. Specific application areas of focus are long-term autonomous missions in large and uncertain environments, semantic mission planning with foundation models, agentic task decomposition and event
-
robotics. Specific application areas of focus are long-term autonomous missions in large and uncertain environments, semantic mission planning with foundation models, agentic task decomposition and event
-
deadline provides a useful qualification or will defend your PhD thesis during 2026. A good knowledge of English is mandatory. Knowledge of hydraulic turbines, turbine model testing, prototype testing and
Searches related to model checking
Enter an email to receive alerts for model-checking positions