FRATINI, SIMONE
FRATINI, SIMONE
Istituto di Scienze e Tecnologie della Cognizione - ISTC
A Goal-Oriented Autonomous Controller for Space Exploration
2011 Ceballos, Antonio ; Bensalem, Saddek ; Cesta, Amedeo ; De Silva, Lavindra ; Fratini, Simone ; Ingrand, Felix ; Ocòn, Jorge ; Orlandini, Andrea ; Py, Frederic ; Rajan, Kanna ; Rasconi, Riccardo ; Van Winnendael, Michel
A Planning and Scheduling Service for the ULISSE Platform
2011 Cesta, Amedeo; Fratini, Simone ; Rasconi, Riccardo ; Orlandini, Andrea
A Planning and Scheduling Tool to Automate and Support Mission Planning
2006 Fratini, S; Cesta, Amedeo; A,
AI Based Tools for Continuous Support to Mission Planning
2006 Cesta, A; Oddi, A; Cortellessa, G; Fratini, S; Policella, ; N,
An Innovative Product for Space Mission Planning -- an a posteriori evaluation
2007 Cesta, A; Cortellessa, G; Fratini, S; Oddi, A; Policella, N
Analyzing Flexible Timeline-based Plans
2010 Cesta, A; Finzi, A; Fratini, S; Orlandini, A; Tronci, ; E,
APSI Case#1: Pre-planning Science Operations in Mars Express
2008 Cesta, A; Fratini, S; Oddi, A; Pecora, ; F,
APSI Timeline-based Representation Framework
2008 Fratini, S; Cesta, Amedeo; A,
APSI-based Deliberation in Goal Oriented Autonomous Controllers
2011 Fratini, Simone ; Cesta, Amedeo ; Orlandini, Andrea ; Rasconi, Riccardo ; De Benedictis, Riccardo
Controlling Complex Physical Systems Through Planning and Scheduling Integration
2005 Cesta A;Fratini; S
Deploying Interactive Mission Planning Tools - Experiences and Lessons Learned
2011 Cesta, Amedeo; Cortellessa, Gabriella; Fratini, Simone; Oddi, Angelo; Bernardi, Giulio
Deploying Interactive Mission Planning Tools - Experiences and Lessons Learned
2010 Cesta, A; Cortellessa, G; Fratini, S; Oddi, A; Bernardi, ; G,
Enriching APSI with Validation Capabilities: the KEEN environment and its use in Robotics
2011 Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico
Extending a Scheduler with Causal Reasoning: a CSP Approach
2005 Fratini, S; Cesta, A; Oddi, Angelo; A,
Flexible Plan Verification: Feasibility Results
2011 Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico
Flexible Timeline-Based Plan Verification
2009 Cesta, A; Finzi, A; Fratini, S; Orlandini, A; Tronci, ; E,
Formal Methods for Plan-based Robot Autonomy: A Case Study
2010 Orlandini, A; Finzi, A; Cesta, A; Fratini, S; Tronci, ; E,
From Demo to Practice: the MEXAR Path to Space Operations
2006 Cesta A; Cortellessa G; Fratini S; Oddi A;Policella; N
Generating Controllers for Flexible Plan Execution: a TGA approach
2011 Orlandini, Andrea ; Finzi, Alberto ; Cesta, Amedeo ; Fratini, Simone
How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?.
2010 Cesta A; Finzi A; Fratini S; Orlandini A;Tronci; E
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Goal-Oriented Autonomous Controller for Space Exploration | 1-gen-2011 | Ceballos, Antonio ; Bensalem, Saddek ; Cesta, Amedeo ; De Silva, Lavindra ; Fratini, Simone ; Ingrand, Felix ; Ocòn, Jorge ; Orlandini, Andrea ; Py, Frederic ; Rajan, Kanna ; Rasconi, Riccardo ; Van Winnendael, Michel | |
A Planning and Scheduling Service for the ULISSE Platform | 1-gen-2011 | Cesta, Amedeo; Fratini, Simone ; Rasconi, Riccardo ; Orlandini, Andrea | |
A Planning and Scheduling Tool to Automate and Support Mission Planning | 1-gen-2006 | Fratini, S; Cesta, Amedeo; A, | |
AI Based Tools for Continuous Support to Mission Planning | 1-gen-2006 | Cesta, A; Oddi, A; Cortellessa, G; Fratini, S; Policella, ; N, | |
An Innovative Product for Space Mission Planning -- an a posteriori evaluation | 1-gen-2007 | Cesta, A; Cortellessa, G; Fratini, S; Oddi, A; Policella, N | |
Analyzing Flexible Timeline-based Plans | 1-gen-2010 | Cesta, A; Finzi, A; Fratini, S; Orlandini, A; Tronci, ; E, | |
APSI Case#1: Pre-planning Science Operations in Mars Express | 1-gen-2008 | Cesta, A; Fratini, S; Oddi, A; Pecora, ; F, | |
APSI Timeline-based Representation Framework | 1-gen-2008 | Fratini, S; Cesta, Amedeo; A, | |
APSI-based Deliberation in Goal Oriented Autonomous Controllers | 1-gen-2011 | Fratini, Simone ; Cesta, Amedeo ; Orlandini, Andrea ; Rasconi, Riccardo ; De Benedictis, Riccardo | |
Controlling Complex Physical Systems Through Planning and Scheduling Integration | 1-gen-2005 | Cesta A;Fratini; S | |
Deploying Interactive Mission Planning Tools - Experiences and Lessons Learned | 1-gen-2011 | Cesta, Amedeo; Cortellessa, Gabriella; Fratini, Simone; Oddi, Angelo; Bernardi, Giulio | |
Deploying Interactive Mission Planning Tools - Experiences and Lessons Learned | 1-gen-2010 | Cesta, A; Cortellessa, G; Fratini, S; Oddi, A; Bernardi, ; G, | |
Enriching APSI with Validation Capabilities: the KEEN environment and its use in Robotics | 1-gen-2011 | Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico | |
Extending a Scheduler with Causal Reasoning: a CSP Approach | 1-gen-2005 | Fratini, S; Cesta, A; Oddi, Angelo; A, | |
Flexible Plan Verification: Feasibility Results | 1-gen-2011 | Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico | |
Flexible Timeline-Based Plan Verification | 1-gen-2009 | Cesta, A; Finzi, A; Fratini, S; Orlandini, A; Tronci, ; E, | |
Formal Methods for Plan-based Robot Autonomy: A Case Study | 1-gen-2010 | Orlandini, A; Finzi, A; Cesta, A; Fratini, S; Tronci, ; E, | |
From Demo to Practice: the MEXAR Path to Space Operations | 1-gen-2006 | Cesta A; Cortellessa G; Fratini S; Oddi A;Policella; N | |
Generating Controllers for Flexible Plan Execution: a TGA approach | 1-gen-2011 | Orlandini, Andrea ; Finzi, Alberto ; Cesta, Amedeo ; Fratini, Simone | |
How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?. | 1-gen-2010 | Cesta A; Finzi A; Fratini S; Orlandini A;Tronci; E |