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.
![[img]](https://livrepository.liverpool.ac.uk/style/images/fileicons/text.png) |
Text
ATL_normative_logic-1.pdf - Author Accepted Manuscript Access to this file is restricted: awaiting official publication and publisher embargo. Download (426kB) |
| Item Type: | Conference or Workshop Item (Unspecified) |
|---|---|
| Divisions: | Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science |
| Depositing User: | Symplectic Admin |
| Date Deposited: | 22 Jan 2024 09:51 |
| Last Modified: | 22 Jan 2024 09:51 |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3177923 |
Share
Share
Share
CORE (COnnecting REpositories)