INTERCEPTOR

Motion Planning with moving obstacles (Consulting activity, INTECS s.p.a.)

Project facts sheet

INTERCEPTOR

  • Start date: November 1st, 2008
  • Duration: 4 months
  • Funding scheme: Consulting activity funded by INTECS S.p.A.

Abstract

This is an industrial project fully supported by INTECS. Our role in this project is that of designing model checking based algorithms for motion planning in presence of moving obstacles.