Up a level |
Number of items: 2.
Galimullin, Rustam and Kuijer, Louwe B ORCID: 0000-0001-6696-9023
(2023)
Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard.
In: TARK-2023.
Galimullin, Rustam and Kuijer, Louwe B ORCID: 0000-0001-6696-9023
(2023)
Synthesizing Social Laws with ATL Conditions.
In: The 23rd International Conference on Autonomous Agents and Multi-Agent Systems, 2024-5-6 - 2024-5-10, Auckland, New Zealand.