FINZI, ALBERTO
FINZI, ALBERTO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Game-Theoretic Golog under Partial Observability
2005 Finzi, Alberto; Thomas, Lukasiewicz
An Approach to Perception in Theory of Actions: Part I
1999 Fiora, Pirri; Finzi, Alberto
Attentional Shifting and Curiosity: a Reinforcement Learning Approach
2013 DI NOCERA, Dario; Finzi, Alberto; Rossi, Silvia; Staffa, Mariacarla
How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?
2010 A., Cesta; Finzi, Alberto; S., Fratini; A., Orlandin; E., Tronci
Formal Methods for Plan-based Robot Autonomy: A Case Study.
2010 A., Orlandini; Finzi, Alberto; A., Cesta; S., Fratini; E., Tronci
Attentive Monitoring Strategies in a Behavior-based Robotic System: an Evolutionary Approach
2010 Burattini, Ernesto; Finzi, Alberto; Rossi, Silvia; Staffa, Mariacarla
Flexible Timeline-Based Plan Verification
2009 A., Cesta; Finzi, Alberto; S., Fratini; A., Orlandini; E., Tronci
Analyzing Flexible Timeline-based Plans
2010 A., Cesta; Finzi, Alberto; S., Fratini; A., Orlandini; E., Tronci
Model-based Execution through Reactive Planning for Autonomous Planetary Rovers
2004 Finzi, Alberto; Felix, Ingrand; Nicola, Muscettola
Merging Planning, Scheduling & Verification - A Preliminary Analysis
2008 Simone Fratini, Cesta; Finzi, Alberto; Andrea, Orlandini; Enrico, Tronci
Representing Flexible Temporal Behaviors in the Situation Calculus.
2005 Finzi, Alberto; Fiora, Pirri
Continous Gesture Recognition fo Flexible Human-Robot Interaction
2014 Iengo, Salvatore; Rossi, Silvia; Staffa, Mariacarla; Finzi, Alberto
Human-Robot Interaction
2012 D., Sidobre; X., Broquere; J., Mainprice; Burattini, Ernesto; Finzi, Alberto; Rossi, Silvia; Staffa, Mariacarla
Cognitive Control in Cognitive Robotics: Attentional Executive Control
2011 Burattini, Ernesto; Finzi, Alberto; Rossi, Silvia; Staffa, Mariacarla
Structure-based causes and explanations in the independent choice logic
2003 Finzi, Alberto; Thomas, Lukasiewicz
Validation and Verification Issues in Timeline-based Planning Systems.
2008 Amedeo, Cesta; Finzi, Alberto; Simone, Fratini; Andrea, Orlandini; Enrico, Tronci
Game-Theoretic Reasoning about Actions in Nonmonotonic Causal Theories
2005 Finzi, Alberto; Thomas, Lukasiewicz
Autonomous Attentive Exploration in Search and Rescue Scenarios
2007 Andrea, Carbone; Daniele, Ciacelli; Finzi, Alberto; Fiora, P. i. r. r. i.
Interacting with robots via speech and gestures, an integrated architecture
2013 Cutugno, Francesco; Finzi, Alberto; M., Fiore; E., Leone; Rossi, Silvia
Integrating Knowledge Engineering for Planning with Validation and Verification Tools
2013 Andrea, Orlandini; Giulio, Bernardi; Amedeo, Cesta; Finzi, Alberto
| 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 | |
| An Approach to Perception in Theory of Actions: Part I | 1.1 Articolo in rivista | 1999 | Fiora, Pirri; Finzi, Alberto | |
| 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 | |
| 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 | |
| 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 | |
| Model-based Execution through Reactive Planning for Autonomous Planetary Rovers | 4.1 Articoli in Atti di convegno | 2004 | Finzi, Alberto; Felix, Ingrand; Nicola, Muscettola | |
| Merging Planning, Scheduling & Verification - A Preliminary Analysis | 4.1 Articoli in Atti di convegno | 2008 | Simone Fratini, Cesta; Finzi, Alberto; Andrea, Orlandini; Enrico, Tronci | |
| Representing Flexible Temporal Behaviors in the Situation Calculus. | 4.1 Articoli in Atti di convegno | 2005 | Finzi, Alberto; Fiora, Pirri | |
| Continous Gesture Recognition fo Flexible Human-Robot Interaction | 4.1 Articoli in Atti di convegno | 2014 | Iengo, Salvatore; Rossi, Silvia; Staffa, Mariacarla; 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 | |
| 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 | |
| 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 Reasoning about Actions in Nonmonotonic Causal Theories | 4.1 Articoli in Atti di convegno | 2005 | Finzi, Alberto; Thomas, Lukasiewicz | |
| Autonomous Attentive Exploration in Search and Rescue Scenarios | 2.1 Contributo in volume (Capitolo o Saggio) | 2007 | Andrea, Carbone; Daniele, Ciacelli; Finzi, Alberto; Fiora, P. i. r. r. i. | |
| Interacting with robots via speech and gestures, an integrated architecture | 4.1 Articoli in Atti di convegno | 2013 | Cutugno, Francesco; Finzi, Alberto; M., Fiore; E., Leone; Rossi, Silvia | |
| Integrating Knowledge Engineering for Planning with Validation and Verification Tools | 4.1 Articoli in Atti di convegno | 2013 | Andrea, Orlandini; Giulio, Bernardi; Amedeo, Cesta; Finzi, Alberto |