IRIS

FINZI, ALBERTO

FINZI, ALBERTO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 125 (tempo di esecuzione: 0.08 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Attentional Shifting and Curiosity: a Reinforcement Learning Approach 4.1 Articoli in Atti di convegno 2013 DI NOCERA, Dario; Finzi, Alberto; Rossi, Silvia; Staffa, Mariacarla
Controller Synthesis for Safety Critical Planning 4.1 Articoli in Atti di convegno 2013 Andrea, Orlandini; Marco, Suriano; Amedeo, Cesta; Finzi, Alberto
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
ENRICHING APSI WITH VALIDATION CAPABILITIES: THE KEEN ENVIRONMENT AND ITS USE IN ROBOTICS 4.1 Articoli in Atti di convegno 2011 A., Cesta; A., Orlandini; Finzi, Alberto; S., Fratini; E., Tronci
Planning meets verification and validation in a knowledge engineering environment 1.1 Articolo in rivista 2014 Andrea, Orlandini; Giulio, Bernardi; Amedeo, Cesta; Finzi, Alberto
Game-Theoretic Golog under Partial Observability 4.1 Articoli in Atti di convegno 2005 Finzi, Alberto; Thomas, Lukasiewicz
Cognitive Control in Cognitive Robotics: Attentional Executive Control 4.1 Articoli in Atti di convegno 2011 Burattini, Ernesto; Finzi, Alberto; Rossi, Silvia; Staffa, Mariacarla
Structure-based causes and explanations in the independent choice logic 4.1 Articoli in Atti di convegno 2003 Finzi, Alberto; Thomas, Lukasiewicz
Flexible Plan Verification: Feasibility Results 1.1 Articolo in rivista 2011 A., Cesta; Finzi, Alberto; S., Fratini; A., Orlandini; E., 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
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
Attentive Monitoring Strategies in a Behavior-based Robotic System: an Evolutionary Approach 4.1 Articoli in Atti di convegno 2010 Burattini, Ernesto; Finzi, Alberto; Rossi, Silvia; Staffa, Mariacarla
Model-based Execution through Reactive Planning for Autonomous Planetary Rovers 4.1 Articoli in Atti di convegno 2004 Finzi, Alberto; Felix, Ingrand; Nicola, Muscettola
Flexible Timeline-Based Plan Verification 4.1 Articoli in Atti di convegno 2009 A., Cesta; Finzi, Alberto; S., Fratini; A., Orlandini; 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
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET 1.1 Articolo in rivista 2013 F., Mari; I., Melatti; E., Tronci; Finzi, Alberto
Human-Robot Interaction 2.1 Contributo in volume (Capitolo o Saggio) 2012 D., Sidobre; X., Broquere; J., Mainprice; Burattini, Ernesto; Finzi, Alberto; Rossi, Silvia; Staffa, Mariacarla
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