Felli, Paolo

16 publications

AAAI 2023 Monitoring Arithmetic Temporal Properties on Finite Traces Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler

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

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

IJCAI 2021 HyperLDLf: A Logic for Checking Properties of Finite Traces Process Logs Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli

AAAI 2021 SMT-Based Safety Checking of Parameterized Multi-Agent Systems Paolo Felli, Alessandro Gianola, Marco Montali

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

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

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

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

IJCAI 2016 Parallel Behavior Composition for Manufacturing Paolo Felli, Brian Logan, Sebastian Sardiña

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

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

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

JAIR 2013 Description Logic Knowledge and Action Bases Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli

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

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