Formal Methods for Plan-based Robot Autonomy: A Case Study | Istituto di Scienze e Tecnologie della Cognizione

Publication type:

Contributo in atti di convegno

Author or Creator:

Orlandini

A.

Finzi

Cesta

Fratini

S.

Tronci

E.

Source:

PlanSIG 2010, Brescia, Italy, 2010

Date:

2010

Resource Identifier:

http://www.cnr.it/prodotto/i/93722