EX-AI-Summit · Speaker
Ana Cavalcanti
University of York
Ana Cavalcanti is based at the University of York and works on formal methods for robotics. Her research concerns verification and assurance: using precise models and reasoning to examine how robotic systems behave.Session
Formal methods for robotics: verification and assurance of robotic systems.