Formal Methods for Plan-based Robot Autonomy: A Case Study

Contributo in Atti di convegno

Data di Pubblicazione:

2010

Tipologia CRIS:

04.01 Contributo in Atti di convegno

Elenco autori:

Orlandini, Andrea; Fratini, Simone; Cesta, Amedeo

Autori di Ateneo:

CESTA AMEDEO

ORLANDINI ANDREA

Link alla scheda completa:

https://iris.cnr.it/handle/20.500.14243/430942