| Titolo | Pubblicato in | Anno |
|---|---|---|
| Temporally extended goal recognition in fully observable non-deterministic domain models | APPLIED INTELLIGENCE | 2024 |
| Pure-Past Action Masking | National Conference of the American Association for Artificial Intelligence | 2024 |
| Composition of Stochastic Services for LTLf Goal Specifications | Foundations of Information and Knowledge Systems | 2024 |
| Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments | IJCAI | 2024 |
| LTLf Goal-oriented Service Composition | PMAI 2024. Process Management in the AI Era 2024. Proceedings of the 3rd International Workshop on Process Management in the AI Era (PMAI 2024) co-located with 27th European Conference on Artificial Intelligence (ECAI 2024) | 2024 |
| Orchestration of Services in Smart Manufacturing through Automated Synthesis | IEEE TRANSACTIONS ON SERVICES COMPUTING | 2024 |
| AI-Augmented Business Process Management Systems: A Research Manifesto | ACM TRANSACTIONS ON MANAGEMENT INFORMATION SYSTEMS | 2023 |
| Digital twins composition in smart manufacturing via Markov decision processes | COMPUTERS IN INDUSTRY | 2023 |
| A tool for declarative Trace Alignment via automated planning | SOFTWARE IMPACTS | 2023 |
| AIDA: A Tool for Resiliency in Smart Manufacturing | Intelligent Information Systems CAiSE 2023 | 2023 |
| Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic | Vol. 33 No. 1: Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling | 2023 |
| Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models | 2023 | |
| Mimicking Behaviors in Separated Domains | THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | 2023 |
| Exploiting Multiple Abstractions in Episodic RL via Reward Shaping | Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 | 2023 |
| Grounding LTLf Specifications in Image Sequences | Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning | 2023 |
| Symbolic LTLf Best-Effort Synthesis | Symbolic LTLf Best-Effort Synthesis | 2023 |
| Behavioral QLTL | EUMAS 2023 | 2023 |
| FOND Planning for Pure-Past Linear Temporal Logic Goals | 26th European Conference on Artificial Intelligence | 2023 |
| LTLf Best-Effort Synthesis in Nondeterministic Planning Domains | European Conference on Artificial Intelligence (ECAI) | 2023 |
| Composition of Nondeterministic Services for LTLf Task Specification | 2023 |
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma
