Author: "Felli, Paolo" / Publisher: international joint conferences on artificial intelligence organization - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Felli, Paolo"' showing total 5 results

Start Over Author "Felli, Paolo" Publisher international joint conferences on artificial intelligence organization

5 results on '"Felli, Paolo"'

1. Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)

Author: De Giacomo, Giuseppe, primary, Felli, Paolo, additional, Logan, Brian, additional, Patrizi, Fabio, additional, and Sardiña, Sebastian, additional
Published: 2022
Full Text: View/download PDF

2. Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)

Author: De Giacomo, Giuseppe, primary, Felli, Paolo, additional, Logan, Brian, additional, Patrizi, Fabio, additional, and Sardiña, Sebastian, additional
Published: 2022
Full Text: View/download PDF

3. HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs

Author: De Giacomo, Giuseppe, primary, Felli, Paolo, additional, Montali, Marco, additional, and Perelli, Giuseppe, additional
Published: 2021
Full Text: View/download PDF

4. Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors

Author: de Leoni, Massimiliano, primary, Felli, Paolo, additional, and Montali, Marco, additional
Published: 2020
Full Text: View/download PDF

5. Process Plan Controllers for Non-Deterministic Manufacturing Systems

Author: Felli, Paolo, primary, de Silva, Lavindra, additional, Logan, Brian, additional, and Ratchev, Svetan, additional
Published: 2017
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results