1. Home
  2. Research
  4. How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?.

How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?.

Publication type: 
Contributo in atti di convegno
Author or Creator: 
Cesta
A.
Finzi
Fratini
S.
Orlandini
Tronci
E.
Source: 
KEPS 2010, Toronto, Canada, 2010
Date: 
2010
Resource Identifier: 
http://www.cnr.it/prodotto/i/93730