Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 27
Titolo Data di pubblicazione Autore(i) File
Planning under Uncertainty in Linear Time Logic 1-gen-2003 Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V.
Planning under Uncertainty in Linear Time Logic 1-gen-2003 Mayer M., C; Limongelli, Carla; Orlandini, A; Poggioni, V.
Augmenting Situation Awareness via Model-Based Control in Rescue Robot 1-gen-2005 Carbone, Andrea; Finzi, Alberto; Orlandini, Andrea; Pirri, Fiora; Ugazio, Giorgio
Pdk: the System and its Language 1-gen-2005 Mayer M., C; Limongelli, Carla; Orlandini, A; Poggioni, V.
Planning with Graded Fluents and Actions 1-gen-2005 Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V.
Pdk: the system and its language 1-gen-2005 Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V.
Linear temporal logic as an executable semantics for planning languages 1-gen-2007 Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V.
Linear temporal logic as an executable semantics for planning languages 1-gen-2007 Cialdea, Marta; Limongelli, Carla; Orlandini, A.; Poggioni, V.
Evaluating telepresence robots in the field 1-gen-2013 Cesta, A.; Cortellessa, G.; Orlandini, A.; Tiberio, L.
A Formal Account of Planning with Flexible Timelines 1-gen-2014 Cialdea, Marta; Orlandini, Andrea; Umbrico, Alessandro
Quality metrics to evaluate flexible timeline-based plans 1-gen-2015 Umbrico, Alessandro; Orlandini, Andrea; Cialdea, Marta
Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic 1-gen-2015 Umbrico, Alessandro; Orlandini, Andrea; Cialdea, Marta
An executable semantics of flexible plans in terms of Timed Game Automata 1-gen-2015 Cialdea, Marta; Orlandini, Andrea
Long-Term Evaluation of a Telepresence Robot for the Elderly: Methodology and Ecological Case Study 1-gen-2016 Cesta, A.; Cortellessa, G.; Orlandini, A.; Tiberio, L.
ExCITE project: A review of forty-two months of robotic telepresence technology evolution 1-gen-2016 Orlandini, A.; Kristoffersson, A.; Almquist, L.; Bjorkman, P.; Cesta, A.; Cortellessa, G.; Galindo, C.; Gonzalez-Jimenez, J.; Gustafsson, K.; Kiselev, A.; Loutfi, A.; Melendez, F.; Nilsson, M.; Hedman, L. O.; Odontidou, E.; Ruiz-Sarmiento, J. -R.; Scherlund, M.; Tiberio, L.; von Rump, S.; Coradeschi, S.
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning 1-gen-2016 Gigante, Nicola; Montanari, Angelo; Cialdea, Marta; Orlandini, Andrea
Planning and execution with flexible timelines: a formal account 1-gen-2016 Cialdea, Marta; Orlandini, Andrea; Umbrico, Alessandro
Steps in assessing a timeline-based planner 1-gen-2016 Umbrico, Alessandro; Cesta, Amedeo; Cialdea, Marta; Orlandini, Andrea
PLATINUm: A new framework for planning and acting 1-gen-2017 Umbrico, Alessandro; Cesta, Amedeo; Cialdea Mayer, Marta; Orlandini, Andrea
Complexity of Timeline-based Planning 1-gen-2017 Gigante, Nicola; Montanari, Angelo; Cialdea, Marta; Orlandini, Andrea
Mostrati risultati da 1 a 20 di 27
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile