Reasoning About Data Trees Using CHCs

von Faella, Marco
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

Reachability Games Modulo Theories with a Bounded Safety Player

von Faella, Marco
Veröffentlicht in AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 5, part 2 of 2 (2023)

ON THE MODEL-CHECKING OF BRANCHING-TIME TEMPORAL LOGIC WITH BDI MODALITIES

von Torre, Salvatore La
Veröffentlicht in AAMAS (19. : 2020 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) ; Volume 1 of 3 (2021)