-
: UPPRAISE and MEDUSA. These projects aim to advance intelligent, adaptive, and sustainable industrial systems. The work involves areas such as AI-assisted automation engineering, digital twins, semantic
-
robots operating in cluttered and semantically complex environments. -Advance ground-aerial collaborative autonomy methods for resilient multi-modal navigation and situational awareness. -Mission-specific
-
classification and multi-layered environment mapping -Digital twin generation for natural environments -Semantic scene-understanding in natural environments for robust decision-making -Learning-based
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions