| Titolo |
Pubblicato in |
Anno |
| Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes |
PMAI 2022 - Process Management in the AI Era 2022 |
2022 |
| Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes |
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022 |
2022 |
| Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes |
arXiv preprint |
2022 |
| Compositional Safety LTL Synthesis |
Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022 |
2022 |
| Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2. |
FUTURE INTERNET |
2022 |
| Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) |
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022 |
2022 |
| Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces |
IJCAI International Joint Conference on Artificial Intelligence |
2022 |
| From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems |
Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future |
2021 |
| Intensional and Extensional Views in DL-Lite Ontologies |
IJCAI |
2021 |
| Digital Twins Composition via Markov Decision Processes |
CEUR Workshop Proceedings |
2021 |
| HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs |
IJCAI 2021 |
2021 |
| Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis |
IJCAI |
2021 |
| Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting |
THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH |
2021 |
| Efficient PAC Reinforcement Learning in Regular Decision Processes |
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021 |
2021 |
| Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up |
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021 |
2021 |
| Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata |
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021 |
2021 |
| Synthesis with Mandatory Stop Actions |
KR 2021 |
2021 |
| Timed Trace Alignment with Metric Temporal Logic over Finite Traces |
KR 2021 |
2021 |
| The Nondeterministic Situation Calculus |
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, November 3-12, 2021 |
2021 |
| Synthesizing Best-effort Strategies under Multiple Environment Specifications |
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, November 3-12, 2021 |
2021 |
