Two-Player Game Structures for Generalized Planning and Agent Composition. - Giuseppe De Giacomo; Paolo Felli; Fabio Patrizi; Sebastian Sardiña (AAAI, 2010)

Agent composition synthesis based on ATL. - Giuseppe De Giacomo; Paolo Felli (AAMAS, 2010)

Foundations of Relational Artifacts Verification. - Babak Bagheri Hariri; Diego Calvanese; Giuseppe De Giacomo; Riccardo De Masellis; Paolo Felli (BPM, 2011)

User-Centered Design for Citizens' Empowerment through the Portal of the Italian Ministry of Health. - Tiziana Catarci; Maddalena D'Addario; Paolo Felli; Laura Franceschetti; Domenico Lembo; Massimo Mecella; Tatiana Pipan; Alessandro Russo 001; Annarita Vestri; Paolo Villari (EICS4Med, 2011)

User-Centered Design for Citizens' Empowerment through the Portal of the Italian Ministry of Health (Extended Abstract). - Tiziana Catarci; Maddalena D'Addario; Paolo Felli; Laura Franceschetti; Domenico Lembo; Massimo Mecella; Tatiana Pipan; Alessandro Russo 001; Annarita Vestri; Paolo Villari (SEBD, 2011)

Verification of Description Logic Knowledge and Action Bases. - Babak Bagheri Hariri; Diego Calvanese; Giuseppe De Giacomo; Riccardo De Masellis; Paolo Felli; Marco Montali (ECAI, 2012)

Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments. - Paolo Felli; Giuseppe De Giacomo; Alessio Lomuscio (KR, 2012)

Goal-Based Composition of Stateful Services for Smart Homes. - Giuseppe De Giacomo; Claudio Di Ciccio; Paolo Felli; Yuxiao Hu 002; Massimo Mecella (OTM Conferences (1), 2012)

Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. - Nitin Yadav; Paolo Felli; Giuseppe De Giacomo; Sebastian Sardiña (IJCAI, 2013)

Description Logic Knowledge and Action Bases. - Babak Bagheri Hariri; Diego Calvanese; Marco Montali; Giuseppe De Giacomo; Riccardo De Masellis; Paolo Felli (J. Artif. Intell. Res., 2013)

Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing. - Tim Miller 001; Adrian R. Pearce; Liz Sonenberg; Frank Dignum; Paolo Felli; Christian J. Muise (AAAI Fall Symposia, 2014)

Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others. - Paolo Felli; Tim Miller 001; Christian J. Muise; Adrian R. Pearce; Liz Sonenberg (ICSR, 2014)

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. - Christian J. Muise; Vaishak Belle; Paolo Felli; Sheila A. McIlraith; Tim Miller 001; Adrian R. Pearce; Liz Sonenberg (AAAI, 2015)

Towards Team Formation via Automated Planning. - Christian J. Muise; Frank Dignum; Paolo Felli; Tim Miller 001; Adrian R. Pearce; Liz Sonenberg (COIN@AAMAS/IJCAI, 2015)

Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases. - Christian J. Muise; Tim Miller 001; Paolo Felli; Adrian R. Pearce; Liz Sonenberg (AAMAS, 2015)

Computing Social Behaviours Using Agent Models. - Paolo Felli; Tim Miller 001; Christian J. Muise; Adrian R. Pearce; Liz Sonenberg (IJCAI, 2015)

'Knowing Whether' in Proper Epistemic Knowledge Bases. - Tim Miller 001; Paolo Felli; Christian J. Muise; Adrian R. Pearce; Liz Sonenberg (AAAI, 2016)

Realisability of Production Recipes. - Lavindra de Silva; Paolo Felli; Jack C. Chaplin; Brian Logan 001; David Sanderson; Svetan M. Ratchev (ECAI, 2016)

Parallel Behavior Composition for Manufacturing. - Paolo Felli; Brian Logan 001; Sebastian Sardiña (IJCAI, 2016)

Planning for a Single Agent in a Multi-Agent Environment Using FOND. - Christian J. Muise; Paolo Felli; Tim Miller 001; Adrian R. Pearce; Liz Sonenberg (IJCAI, 2016)

Social planning for social HRI. - Liz Sonenberg; Tim Miller 001; Adrian R. Pearce; Paolo Felli; Christian J. Muise; Frank Dignum (CoRR, 2016)

Synthesising Industry-Standard Manufacturing Process Controllers. - Lavindra de Silva; Paolo Felli; Jack C. Chaplin; Brian Logan 001; David Sanderson; Svetan M. Ratchev (AAMAS, 2017)

Process Plan Controllers for Non-Deterministic Manufacturing Systems. - Paolo Felli; Lavindra de Silva; Brian Logan 001; Svetan M. Ratchev (IJCAI, 2017)

Supervisory Control for Behavior Composition. - Paolo Felli; Nitin Yadav; Sebastian Sardiña (IEEE Trans. Autom. Control., 2017)

Synthesis of Orchestrations of Transducers for Manufacturing. - Giuseppe De Giacomo; Moshe Y. Vardi; Paolo Felli; Natasha Alechina; Brian Logan 001 (AAAI, 2018)

Composite Capabilities for Cloud Manufacturing. - Paolo Felli; Lavindra de Silva; Brian Logan 001; Svetan M. Ratchev (AAMAS, 2018)

A Holistic Approach for Soundness Verification of Decision-Aware Process Models. - Massimiliano de Leoni; Paolo Felli; Marco Montali (ER, 2018)

A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version). - Massimiliano de Leoni; Paolo Felli; Marco Montali (CoRR, 2018)

Situation Calculus for Synthesis of Manufacturing Controllers. - Giuseppe De Giacomo; Brian Logan 001; Paolo Felli; Fabio Patrizi; Sebastian Sardiña (CoRR, 2018)

Unbounded Orchestrations of Transducers for Manufacturing. - Natasha Alechina; Tomás Brázdil; Giuseppe De Giacomo; Paolo Felli; Brian Logan 001; Moshe Y. Vardi (AAAI, 2019)

Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions. - Paolo Felli; Massimiliano de Leoni; Marco Montali (ACSD, 2019)

Synthesising process controllers from formal models of transformable assembly systems. - Lavindra de Silva; Paolo Felli; David Sanderson; Jack C. Chaplin; Brian Logan 001; Svetan M. Ratchev (Robotics Comput. Integr. Manuf., 2019)

Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors. - Massimiliano de Leoni; Paolo Felli; Marco Montali (KR, 2020)

A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems. - Paolo Felli; Alessandro Gianola; Marco Montali (PRIMA, 2020)

SMT-based Safety Verification of Parameterised Multi-Agent Systems. - Paolo Felli; Alessandro Gianola; Marco Montali (CoRR, 2020)

SMT-based Safety Checking of Parameterized Multi-Agent Systems. - Paolo Felli; Alessandro Gianola; Marco Montali (AAAI, 2021)

CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (BPM, 2021)

HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. - Giuseppe De Giacomo; Paolo Felli; Marco Montali; Giuseppe Perelli (IJCAI, 2021)

CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version). - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (CoRR, 2021)

Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions. - Paolo Felli; Massimiliano de Leoni; Marco Montali (Fundam. Informaticae, 2021)

Preface. - Paolo Felli; Marco Montali; Maurizio Proietti (Fundam. Informaticae, 2021)

Integrating BPMN and DMN: Modeling and Analysis. - Massimiliano de Leoni; Paolo Felli; Marco Montali (J. Data Semant., 2021)

Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic. - Paolo Felli; Marco Montali; Sarah Winkler (AAAI, 2022)

DELPHIC: Towards an Efficient Possibility-based Epistemic Planning Framework. - Alessandro Burigana; Paolo Felli; Marco Montali (OVERLAY@AI*IA, 2022)

A Modular SMT-based Approach for Data-aware Conformance Checking. - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (OVERLAY@AI*IA, 2022)

Conformance Checking with Uncertainty via SMT. - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (BPM, 2022)

CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic. - Paolo Felli; Marco Montali; Sarah Winkler (IJCAR, 2022)

Soundness of Data-Aware Processes with Arithmetic Conditions. - Paolo Felli; Marco Montali; Sarah Winkler (CAiSE, 2022)

Reasoning and Verification with Data Petri Nets. - Paolo Felli; Marco Montali; Sarah Winkler (PMAI@IJCAI, 2022)

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). - Giuseppe De Giacomo; Paolo Felli; Brian Logan 001; Fabio Patrizi; Sebastian Sardiña (IJCAI, 2022)

Situation calculus for controller synthesis in manufacturing systems with first-order state representation. - Giuseppe De Giacomo; Paolo Felli; Brian Logan 001; Fabio Patrizi; Sebastian Sardiña (Artif. Intell., 2022)

Efficient multi-agent epistemic planning: Teaching planners about nested belief. - Christian Muise; Vaishak Belle; Paolo Felli; Sheila A. McIlraith; Tim Miller 001; Adrian R. Pearce; Liz Sonenberg (Artif. Intell., 2022)

CTL* model checking for data-aware dynamic systems with arithmetic. - Paolo Felli; Marco Montali; Sarah Winkler (CoRR, 2022)

Conformance Checking with Uncertainty via SMT (Extended Version). - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (CoRR, 2022)

Monitoring Arithmetic Temporal Properties on Finite Traces. - Paolo Felli; Marco Montali; Fabio Patrizi; Sarah Winkler (AAAI, 2023)

A Semantic Approach to Decidability in Epistemic Planning. - Alessandro Burigana; Paolo Felli; Marco Montali; Nicolas Troquard (ECAI, 2023)

Repairing Soundness Properties in Data-Aware Processes. - Paolo Felli; Marco Montali; Sarah Winkler (ICPM, 2023)

delphic: Practical DEL Planning via Possibilities. - Alessandro Burigana; Paolo Felli; Marco Montali (JELIA, 2023)

DELPHIC: Practical DEL Planning via Possibilities (Extended Version). - Alessandro Burigana; Paolo Felli; Marco Montali (CoRR, 2023)

A Semantic Approach to Decidability in Epistemic Planning (Extended Version). - Alessandro Burigana; Paolo Felli; Marco Montali; Nicolas Troquard (CoRR, 2023)

Data-aware conformance checking with SMT. - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (Inf. Syst., 2023)

Multi-perspective conformance checking of uncertain process traces: An SMT-based approach. - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (Eng. Appl. Artif. Intell., 2023)

Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications. - Ivan Donadello; Paolo Felli; Craig Innes; Fabrizio Maria Maggi; Marco Montali (BPM, 2024)

On the Flexibility of Declarative Process Specifications. - Carl Corea; Paolo Felli; Marco Montali; Fabio Patrizi (CAiSE, 2024)