FINZI, ALBERTO
FINZI, ALBERTO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Game-Theoretic Golog under Partial Observability
2005 Finzi, Alberto; Thomas, Lukasiewicz
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
Planning meets verification and validation in a knowledge engineering environment
2014 Andrea, Orlandini; Giulio, Bernardi; Amedeo, Cesta; Finzi, Alberto
Monitoring strategies for adaptive periodic control in behavior-based robotic systems
2009 Burattini, Ernesto; Finzi, Alberto; Rossi, Silvia; Staffa, Mariacarla
Flexible Plan Verification: Feasibility Results
2011 A., Cesta; Finzi, Alberto; S., Fratini; A., Orlandini; E., Tronci
Augmenting Situation Awareness via Model-based Control in Rescue Robots
2005 Andrea, Carbone; Finzi, Alberto; Andrea, Orlandini; Fiora, Pirri
Controller Synthesis for Safety Critical Planning
2013 Andrea, Orlandini; Marco, Suriano; Amedeo, Cesta; Finzi, Alberto
A dialogue system for multimodal human-robot interaction
2013 L., Lucignano; Cutugno, Francesco; Rossi, Silvia; Finzi, Alberto
Game-Theoretic Agent Programming in Golog under Partial Observability.
2007 Finzi, Alberto; Thomas, Lukasiewicz
Merging Planning, Scheduling & Verification - A Preliminary Analysis
2008 Simone Fratini, Cesta; Finzi, Alberto; Andrea, Orlandini; Enrico, Tronci
Model-based Execution through Reactive Planning for Autonomous Planetary Rovers
2004 Finzi, Alberto; Felix, Ingrand; Nicola, Muscettola
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
Validation and Verification Issues in Timeline-based Planning Systems.
2008 Amedeo, Cesta; Finzi, Alberto; Simone, Fratini; Andrea, Orlandini; Enrico, Tronci
Structure-based causes and explanations in the independent choice logic
2003 Finzi, Alberto; Thomas, Lukasiewicz
A Mixed-Initiative Control System for an Aerial Service Vehicle Supported by Force Feedback
2014 Cacace, Jonathan; Finzi, Alberto; Lippiello, Vincenzo
Cognitive Control in Cognitive Robotics: Attentional Executive Control
2011 Burattini, Ernesto; Finzi, Alberto; Rossi, Silvia; Staffa, Mariacarla
Attentive Monitoring and Adaptive Control in Cognitive Robotics
2010 Burattini, Ernesto; Rossi, Silvia; Finzi, Alberto; Staffa, Mariacarla
TGA-Based Controllers for Flexible Plan Execution.
2011 A., Orlandini; Finzi, Alberto; A., Cesta; S., Fratini
| 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 | |
| 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 | |
| Planning meets verification and validation in a knowledge engineering environment | 1.1 Articolo in rivista | 2014 | Andrea, Orlandini; Giulio, Bernardi; Amedeo, Cesta; Finzi, Alberto | |
| Monitoring strategies for adaptive periodic control in behavior-based robotic systems | 4.1 Articoli in Atti di convegno | 2009 | Burattini, Ernesto; Finzi, Alberto; Rossi, Silvia; Staffa, Mariacarla | |
| Flexible Plan Verification: Feasibility Results | 1.1 Articolo in rivista | 2011 | A., Cesta; Finzi, Alberto; S., Fratini; A., Orlandini; E., Tronci | |
| 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 | |
| A dialogue system for multimodal human-robot interaction | 4.1 Articoli in Atti di convegno | 2013 | L., Lucignano; Cutugno, Francesco; Rossi, Silvia; Finzi, Alberto | |
| Game-Theoretic Agent Programming in Golog under Partial Observability. | 2.1 Contributo in volume (Capitolo o Saggio) | 2007 | 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 | |
| Model-based Execution through Reactive Planning for Autonomous Planetary Rovers | 4.1 Articoli in Atti di convegno | 2004 | Finzi, Alberto; Felix, Ingrand; Nicola, Muscettola | |
| 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 | |
| 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 | |
| Structure-based causes and explanations in the independent choice logic | 4.1 Articoli in Atti di convegno | 2003 | Finzi, Alberto; Thomas, Lukasiewicz | |
| A Mixed-Initiative Control System for an Aerial Service Vehicle Supported by Force Feedback | 4.1 Articoli in Atti di convegno | 2014 | Cacace, Jonathan; Finzi, Alberto; Lippiello, Vincenzo | |
| Cognitive Control in Cognitive Robotics: Attentional Executive Control | 4.1 Articoli in Atti di convegno | 2011 | Burattini, Ernesto; Finzi, Alberto; Rossi, Silvia; Staffa, Mariacarla | |
| Attentive Monitoring and Adaptive Control in Cognitive Robotics | 2.1 Contributo in volume (Capitolo o Saggio) | 2010 | Burattini, Ernesto; Rossi, Silvia; Finzi, Alberto; 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 |