IRIS

FINZI, ALBERTO

FINZI, ALBERTO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 115 (tempo di esecuzione: 0.033 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
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
Representing Flexible Temporal Behaviors in the Situation Calculus. 4.1 Articoli in Atti di convegno 2005 Finzi, Alberto; Fiora, Pirri
Planning meets verification and validation in a knowledge engineering environment 1.1 Articolo in rivista 2014 Andrea, Orlandini; Giulio, Bernardi; Amedeo, Cesta; Finzi, Alberto
An Approach to Perception in Theory of Actions: Part I 1.1 Articolo in rivista 1999 Fiora, Pirri; Finzi, Alberto
Continous Gesture Recognition fo Flexible Human-Robot Interaction 4.1 Articoli in Atti di convegno 2014 Iengo, Salvatore; Rossi, Silvia; Staffa, Mariacarla; Finzi, Alberto
Merging Planning, Scheduling & Verification - A Preliminary Analysis 4.1 Articoli in Atti di convegno 2008 Simone Fratini, Cesta; Finzi, Alberto; Andrea, Orlandini; Enrico, Tronci
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
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
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
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
Structure-based causes and explanations in the independent choice logic 4.1 Articoli in Atti di convegno 2003 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
Model-based Execution through Reactive Planning for Autonomous Planetary Rovers 4.1 Articoli in Atti di convegno 2004 Finzi, Alberto; Felix, Ingrand; Nicola, Muscettola
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.
A dialogue system for multimodal human-robot interaction 4.1 Articoli in Atti di convegno 2013 L., Lucignano; Cutugno, Francesco; Rossi, Silvia; Finzi, Alberto
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
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
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