Marcello M. Bersani

Latest

• PuRSUE - From Specification of Robotic Environments to Synthesis of Controllers