Sfoglia per Autore
Two-player game structures for generalized planning and agent composition
2010 DE GIACOMO, Giuseppe; Felli, Paolo; Patrizi, Fabio; Sardina, Sebastian
Agent composition synthesis based on ATL
2010 DE GIACOMO, Giuseppe; Felli, Paolo
Foundations of relational artifacts verification
2011 Babak Bagheri, Hariri; Diego, Calvanese; DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Felli, Paolo
User-centered design for citizens' empowerment through the portal of the italian ministry of health
2011 Catarci, Tiziana; D'Addario, Maddalena; Felli, Paolo; Franceschetti, Laura; Lembo, Domenico; Mecella, Massimo; Pipan, Tatiana; Russo, Alessandro; Vestri, Anna Rita; Villari, Paolo
User-centered design for citizens empowerment through the portal of the italian ministry of health
2011 Catarci, Tiziana; D'Addario, Maddalena; Felli, Paolo; Franceschetti, Laura; Lembo, Domenico; Mecella, Massimo; Pipan, Tatiana; Russo, Alessandro; Vestri, Anna Rita; Villari, Paolo
Goal-based composition of stateful services for smart homes
2012 DE GIACOMO, Giuseppe; DI CICCIO, Claudio; Felli, Paolo; Yuxiao, Hu; Mecella, Massimo
Verification of description logic Knowledge and Action Bases
2012 Babak Bagheri, Hariri; Diego, Calvanese; DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Felli, Paolo; Marco, Montali
Synthesizing agent protocols from LTL specifications against multiple partially-observable environments
2012 Felli, Paolo; DE GIACOMO, Giuseppe; Alessio, Lomuscio
Supremal realizability of behaviors with uncontrollable exogenous events
2013 Nitin, Yadav; Felli, Paolo; DE GIACOMO, Giuseppe; S., Sardina
Description Logic Knowledge and Action Bases
2013 Babak Bagheri, Hariri; Diego, Calvanese; Marco, Montali; DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Felli, Paolo
Agent Behavior Synthesis from Components
2013 Felli, Paolo
Synthesis of Orchestrations of Transducers for Manufacturing
2018 DE GIACOMO, Giuseppe; Vardi, MOSHE YAAKOV; Felli, Paolo; Natasha, Alechina; Brian, Logan
Unbounded Orchestrations of Transducers for Manufacturing
2019 Alechina, N; Brazdil, T; De Giacomo, G; Felli, P; Logan, B; Vardi, My
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Two-player game structures for generalized planning and agent composition | 2010 | DE GIACOMO, Giuseppe; Felli, Paolo; Patrizi, Fabio; Sardina, Sebastian | |
Agent composition synthesis based on ATL | 2010 | DE GIACOMO, Giuseppe; Felli, Paolo | |
Foundations of relational artifacts verification | 2011 | Babak Bagheri, Hariri; Diego, Calvanese; DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Felli, Paolo | |
User-centered design for citizens' empowerment through the portal of the italian ministry of health | 2011 | Catarci, Tiziana; D'Addario, Maddalena; Felli, Paolo; Franceschetti, Laura; Lembo, Domenico; Mecella, Massimo; Pipan, Tatiana; Russo, Alessandro; Vestri, Anna Rita; Villari, Paolo | |
User-centered design for citizens empowerment through the portal of the italian ministry of health | 2011 | Catarci, Tiziana; D'Addario, Maddalena; Felli, Paolo; Franceschetti, Laura; Lembo, Domenico; Mecella, Massimo; Pipan, Tatiana; Russo, Alessandro; Vestri, Anna Rita; Villari, Paolo | |
Goal-based composition of stateful services for smart homes | 2012 | DE GIACOMO, Giuseppe; DI CICCIO, Claudio; Felli, Paolo; Yuxiao, Hu; Mecella, Massimo | |
Verification of description logic Knowledge and Action Bases | 2012 | Babak Bagheri, Hariri; Diego, Calvanese; DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Felli, Paolo; Marco, Montali | |
Synthesizing agent protocols from LTL specifications against multiple partially-observable environments | 2012 | Felli, Paolo; DE GIACOMO, Giuseppe; Alessio, Lomuscio | |
Supremal realizability of behaviors with uncontrollable exogenous events | 2013 | Nitin, Yadav; Felli, Paolo; DE GIACOMO, Giuseppe; S., Sardina | |
Description Logic Knowledge and Action Bases | 2013 | Babak Bagheri, Hariri; Diego, Calvanese; Marco, Montali; DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Felli, Paolo | |
Agent Behavior Synthesis from Components | 2013 | Felli, Paolo | |
Synthesis of Orchestrations of Transducers for Manufacturing | 2018 | DE GIACOMO, Giuseppe; Vardi, MOSHE YAAKOV; Felli, Paolo; Natasha, Alechina; Brian, Logan | |
Unbounded Orchestrations of Transducers for Manufacturing | 2019 | Alechina, N; Brazdil, T; De Giacomo, G; Felli, P; Logan, B; Vardi, My |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile