Formal Methods for Plan-based Robot Autonomy: A Case Study (Contributo in atti di convegno)

Type
Label
  • Formal Methods for Plan-based Robot Autonomy: A Case Study (Contributo in atti di convegno) (literal)
Anno
  • 2010-01-01T00:00:00+01:00 (literal)
Alternative label
  • Orlandini, A., Finzi, A., Cesta, A., Fratini, S. and Tronci, E. (2010)
    Formal Methods for Plan-based Robot Autonomy: A Case Study
    in PlanSIG 2010, Brescia, Italy
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Orlandini, A., Finzi, A., Cesta, A., Fratini, S. and Tronci, E. (literal)
Titolo
  • Formal Methods for Plan-based Robot Autonomy: A Case Study (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it