IRIS

FINZI, ALBERTO

FINZI, ALBERTO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 123 (tempo di esecuzione: 0.048 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Game-Theoretic Golog under Partial Observability 4.1 Articoli in Atti di convegno 2005 Finzi, Alberto; Thomas, Lukasiewicz
Continous Gesture Recognition fo Flexible Human-Robot Interaction 4.1 Articoli in Atti di convegno 2014 Iengo, Salvatore; Rossi, Silvia; Staffa, Mariacarla; Finzi, Alberto
Representing Flexible Temporal Behaviors in the Situation Calculus. 4.1 Articoli in Atti di convegno 2005 Finzi, Alberto; Fiora, Pirri
Attentional Human-Robot Interaction in Simple Manipulation Tasks 4.1 Articoli in Atti di convegno 2012 Burattini, Ernesto; Finzi, Alberto; Rossi, Silvia; Staffa, Mariacarla; A., Graziano
TGA-Based Controllers for Flexible Plan Execution. 4.1 Articoli in Atti di convegno 2011 A., Orlandini; Finzi, Alberto; A., Cesta; S., Fratini
Aerial Service Vehicles for Industrial Inspection: Task Decomposition and Plan Execution 2.1 Contributo in volume (Capitolo o Saggio) 2013 Cacace, Jonathan; Finzi, Alberto; Lippiello, Vincenzo; Loianno, Giuseppe; Dario, Sanzone
Autonomous mobile manipulators managing perception and failures 4.1 Articoli in Atti di convegno 2001 Finzi, Alberto; F., Pirri; M., Pirrone; M., Romano; M., Vaccaro
Relational Markov Games 4.1 Articoli in Atti di convegno 2004 Finzi, Alberto; Thomas, Lukasiewicz
Merging Planning, Scheduling & Verification - A Preliminary Analysis 4.1 Articoli in Atti di convegno 2008 Simone Fratini, Cesta; Finzi, Alberto; Andrea, Orlandini; Enrico, Tronci
How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent? 4.1 Articoli in Atti di convegno 2010 A., Cesta; Finzi, Alberto; S., Fratini; A., Orlandin; E., Tronci
Validation and Verification Issues in Timeline-based Planning Systems. 4.1 Articoli in Atti di convegno 2008 Amedeo, Cesta; Finzi, Alberto; Simone, Fratini; Andrea, Orlandini; Enrico, Tronci
Game-Theoretic Agent Programming in Golog under Partial Observability. 2.1 Contributo in volume (Capitolo o Saggio) 2007 Finzi, Alberto; Thomas, Lukasiewicz
Augmenting Situation Awareness via Model-based Control in Rescue Robots 4.1 Articoli in Atti di convegno 2005 Andrea, Carbone; Finzi, Alberto; Andrea, Orlandini; Fiora, Pirri
Controller Synthesis for Safety Critical Planning 4.1 Articoli in Atti di convegno 2013 Andrea, Orlandini; Marco, Suriano; Amedeo, Cesta; Finzi, Alberto
An extensible architecture for robust multimodal human-robot communication 4.1 Articoli in Atti di convegno 2013 Rossi, Silvia; E., Leone; M., Fiore; Finzi, Alberto; Cutugno, Francesco
Structure-based causes and explanations in the independent choice logic 4.1 Articoli in Atti di convegno 2003 Finzi, Alberto; Thomas, Lukasiewicz
The SHERPA project: Smart collaboration between humans and ground-aerial robots for improving rescuing activities in alpine environments 4.1 Articoli in Atti di convegno 2012 L., Marconi; C., Melchiorri; M., Beetz; D., Pangercic; R., Siegwart; S., Leutenegger; R., Carloni; S., Stramigioli; H., Bruyninckx; P., Doherty; A., Kleiner; Lippiello, Vincenzo; Finzi, Alberto; Siciliano, Bruno; A., Sala; N., Tomatis
Situation Aware Rescue Robots 4.1 Articoli in Atti di convegno 2005 Andrea, Carbone; Finzi, Alberto; Andrea, Orlandini; Fiora, Pirri; Giorgio, Ugazio
Formal Methods for Plan-based Robot Autonomy: A Case Study. 4.1 Articoli in Atti di convegno 2010 A., Orlandini; Finzi, Alberto; A., Cesta; S., Fratini; E., Tronci
Analyzing Flexible Timeline-based Plans 4.1 Articoli in Atti di convegno 2010 A., Cesta; Finzi, Alberto; S., Fratini; A., Orlandini; E., Tronci