Synthesis of Reward Machines for Multi-Agent Equilibrium Design
Published in Proceedings of the 27th European Conference on Artificial Intelligence (ECAI-24), 2024
Download here
You can also find my articles on my Google Scholar and DBLP profiles. All of them are open access, or there is an unpaywalled version available. Please email me if you’re struggling to download any of my papers. Thank you for showing interest in my work!
Published in Proceedings of the 27th European Conference on Artificial Intelligence (ECAI-24), 2024
Download here
Published in Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI-24), 2024
Download here
Published in 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Naples, Italy, 2024
Download here
Published in 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Naples, Italy, 2024
Download here
Published in Annals of Mathematics and Artificial Intelligence, 2022
Download here
Published in The 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021
Download here
Published in Applied Intelligence, 2021
Download here
Published in The 18th Asian Symposium on Programming Languages and Systems (APLAS), 2020
Download here
Published in Artificial Intelligence, 2020
Download here
Published in The 30th International Conference on Concurrency Theory (CONCUR 2019), Amsterdam, the Netherlands, 2019
Download here
Published in the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Macao, China, 2019
Download here
Published in the 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Los Angeles, USA, 2018
Download here