| Titolo |
Pubblicato in |
Anno |
| LTLf Best-Effort Synthesis in Nondeterministic Planning
Domains |
European Conference on Artificial Intelligence (ECAI) |
2023 |
| Composition of Nondeterministic Services for LTLf Task Specification |
|
2023 |
| Automata Cascades: Expressivity and Sample Complexity |
Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 |
2023 |
| Reactive Synthesis of Dominant Strategies |
Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 |
2023 |
| Stochastic Best-Effort Strategies for Borel Goals |
38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2023 |
2023 |
| LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties |
Multi-Agent Systems. 20th European Conference, EUMAS 2023, Naples, Italy, September 14–15, 2023. Proceedings |
2023 |
| Measuring the interestingness of temporal logic behavioral specifications in process mining |
INFORMATION SYSTEMS |
2022 |
| Situation calculus for controller synthesis in manufacturing systems with first-order state representation |
ARTIFICIAL INTELLIGENCE |
2022 |
| Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning |
|
2022 |
| Grounding LTLf specifications in images |
Proceedings of the 16th International Workshop on Neural-Symbolic Learning and Reasoning |
2022 |
| Automatic Synthesis of Dynamic Norms for Multi-Agent Systems |
KR 2022 |
2022 |
| 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 |
| Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces |
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY |
2022 |
| Synthesis of Maximally Permissive Strategies for LTLf Specifications |
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. Main Track |
2022 |
