Francesco Belardinelli

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

On Agent Incentives to Manipulate Human Feedback in Multi-Agent Reward Learning Scenarios.

[BibT_eX]

[DOI]

Francis Rhys Ward

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Do Androids Dream of Electric Fences? Safety-Aware Reinforcement Learning with Latent Shielding.

[BibT_eX]

[DOI]

Chloe He

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

2021

Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol.

[BibT_eX]

[DOI]

Inf. Comput., 2021

Aggregating Bipolar Opinions (With Appendix).

[BibT_eX]

[DOI]

Stefan Lauren

CoRR, 2021

An Abstraction-based Method to Verify Multi-Agent Deep Reinforcement-Learning Behaviours.

[BibT_eX]

[DOI]

Pierre El Mqirmi

CoRR, 2021

Strategic reasoning with a bounded number of resources: The quest for tractability.

[BibT_eX]

[DOI]

Stéphane Demri

Artif. Intell., 2021

Reasoning About Agents That May Know Other Agents' Strategies.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Evolutionary reinforcement learning for sparse rewards.

[BibT_eX]

[DOI]

Shibei Zhu

Borja Gonzalez León

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

An Abstraction-based Method to Check Multi-Agent Deep Reinforcement-Learning Behaviors.

[BibT_eX]

[DOI]

Pierre El Mqirmi

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Aggregating Bipolar Opinions.

[BibT_eX]

[DOI]

Stefan Lauren

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Systematic Generalisation through Task Temporal Logic and Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Murray Shanahan

CoRR, 2020

Verification of multi-agent systems with public actions against strategy logic.

[BibT_eX]

[DOI]

Artif. Intell., 2020

Formal verification of debates in argumentation theory.

[BibT_eX]

[DOI]

Ria Jha

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

A Hennessy-Milner Theorem for ATL with Imperfect Information.

[BibT_eX]

[DOI]

Ferucio Laurentiu Tiplea

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

A Three-valued Approach to Strategic Abilities under Imperfect Information.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Verifying Strategic Abilities in Multi-Agent Systems via First-Order Entailment.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Reasoning with a Bounded Number of Resources in ATL+.

[BibT_eX]

[DOI]

Stéphane Demri

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Model Checking Temporal Epistemic Logic under Bounded Recall.

[BibT_eX]

[DOI]

Emily Yu

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Social Choice Methods for Database Aggregation.

[BibT_eX]

[DOI]

Umberto Grandi

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

Model Checking ATL* on vCGS.

[BibT_eX]

[DOI]

Ioana Boureanu

CoRR, 2019

Decidable Verification of Agent-Based Data-Aware Systems.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

Imperfect Information in Alternating-Time Temporal Logic on Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

Strategy Logic with Simple Goals: Tractable Reasoning about Strategies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

A Social Choice Theoretic Perspective on Database Aggregation.

[BibT_eX]

[DOI]

Umberto Grandi

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Resource-bounded ATL: the Quest for Tractable Fragments.

[BibT_eX]

[DOI]

Stéphane Demri

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing.

[BibT_eX]

[DOI]

Ioana Boureanu

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Database Aggregation.

[BibT_eX]

[DOI]

Umberto Grandi

CoRR, 2018

Second-order propositional modal logic: Expressiveness and completeness results.

[BibT_eX]

[DOI]

Louwe B. Kuijer

Artif. Intell., 2018

Approximating Perfect Recall When Model Checking Strategic Abilities.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Alternating-time Temporal Logic on Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Decidable Verification of Multi-agent Systems with Bounded Private Actions.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Relaxing Exclusive Control in Boolean Games.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

A Logic for Global and Local Announcements.

[BibT_eX]

[DOI]

Hans van Ditmarsch

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Parameterised Verification of Data-aware Multi-Agent Systems.

[BibT_eX]

[DOI]

Panagiotis Kouvaros

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Dynamic Logic for Data-aware Systems: Decidability Results.

[BibT_eX]

[DOI]

Andreas Herzig

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Verification of Multi-agent Systems with Imperfect Information and Public Actions.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Agent-based Abstractions for Verifying Alternating-time Temporal Logic with Imperfect Information.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

On Logics of Strategic Ability Based on Propositional Control.

[BibT_eX]

[DOI]

Andreas Herzig

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems.

[BibT_eX]

[DOI]

Jakub Michaliszyn

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Abstraction-Based Verification of Infinite-State Reactive Modules.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Second-order Propositional Announcement Logic.

[BibT_eX]

[DOI]

Hans van Ditmarsch

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

A Semantical Analysis of Second-Order Propositional Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Formal Analysis of Dialogues on Infinite Argumentation Frameworks.

[BibT_eX]

[DOI]

Davide Grossi

Nicolas Maudet

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems.

[BibT_eX]

[DOI]

Davide Grossi

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks.

[BibT_eX]

[DOI]

Davide Grossi

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

Verification of Agent-Based Artifact Systems.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2014

Reasoning about Knowledge and Strategies: Epistemic Strategy Logic.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Verification of non-uniform and unbounded artifact-centric systems: decidability through abstraction.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

2012

Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2012

Automated Verification of Quantum Protocols using MCMAS

[BibT_eX]

[DOI]

Pavel Gonzalez

Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012

An Abstraction Technique for the Verification of Artifact-Centric Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

2011

First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata.

[BibT_eX]

[DOI]

Andrew V. Jones

Fundam. Informaticae, 2011

A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Verification of Deployed Artifact Systems via Data Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

2010

Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

2009

Quantified epistemic logics for reasoning about knowledge in multi-agent systems.

[BibT_eX]

[DOI]

Artif. Intell., 2009

2008

A Complete First-Order Logic of Knowledge and Time.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

2007

A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

A quantified epistemic logic for reasoning about multiagent systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2004

Algebraic Aspects of Cut Elimination.

[BibT_eX]

[DOI]