IRIS

FINZI, ALBERTO

FINZI, ALBERTO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 115 (tempo di esecuzione: 0.014 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
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
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
Planning meets verification and validation in a knowledge engineering environment 1.1 Articolo in rivista 2014 Andrea, Orlandini; Giulio, Bernardi; Amedeo, Cesta; Finzi, Alberto
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
Game-Theoretic Reasoning about Actions in Nonmonotonic Causal Theories 4.1 Articoli in Atti di convegno 2005 Finzi, Alberto; Thomas, Lukasiewicz
Situation Aware Rescue Robots 4.1 Articoli in Atti di convegno 2005 Andrea, Carbone; Finzi, Alberto; Andrea, Orlandini; Fiora, Pirri; Giorgio, Ugazio
Relational Markov Games 4.1 Articoli in Atti di convegno 2004 Finzi, Alberto; Thomas, Lukasiewicz
Representing Flexible Temporal Behaviors in the Situation Calculus 4.1 Articoli in Atti di convegno 2005 Finzi, Alberto; Fiora, Pirri
Representing Flexible Temporal Behaviors in the Situation Calculus. 4.1 Articoli in Atti di convegno 2005 Finzi, Alberto; Fiora, Pirri
Human-Robot Interaction through Mixed-Initiative Planning for Rescue and Search Rovers 4.1 Articoli in Atti di convegno 2005 Finzi, Alberto; Andrea, Orlandini
Game-Theoretic Golog under Partial Observability 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.
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
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
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
Attentional Modulation of Mutually Dependent Behaviors 4.1 Articoli in Atti di convegno 2010 Burattini, Ernesto; Rossi, Silvia; Finzi, Alberto; 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
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 Plan Verification: Feasibility Results 1.1 Articolo in rivista 2011 A., Cesta; Finzi, Alberto; S., Fratini; A., Orlandini; E., Tronci