Studio di un planner basato su model checking per estendere le funzionalità di un sistema di supporto alle decisioni in ambito marittimo

Studiare le possibilità applicative del Model Checking per la pianificazione automatica di missioni di intervento in mare, in caso di:

  • ricerca e soccorso (SAR)
  • misure anti-inquinamento

Obiettivo di tale studio è l’estensione delle funzionalità di un sistema di supporto alle decisioni, per il controllo del traffico navale, con tecniche avanzate di pianificazione.

Da svolgersi presso la Intecs S.p.A., sede di Roma

Contatto Azienda:
Angela Pappagallo
angela.pappagallo@intecs.it

Contatto Università:
Enrico Tronci
tronci@di.uniroma1.it

Annunci