| A causal perspective on AI deception in games. | 0 | 0.34 | 2022 |
| Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications | 0 | 0.34 | 2022 |
| Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. | 0 | 0.34 | 2022 |
| On Agent Incentives to Manipulate Human Feedback in Multi-Agent Reward Learning Scenarios. | 0 | 0.34 | 2022 |
| Aggregating Bipolar Opinions. | 0 | 0.34 | 2021 |
| Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol | 0 | 0.34 | 2021 |
| Strategic reasoning with a bounded number of resources: The quest for tractability | 0 | 0.34 | 2021 |
| An Abstraction-based Method to Check Multi-Agent Deep Reinforcement-Learning Behaviors. | 0 | 0.34 | 2021 |
| Reasoning About Agents That May Know Other Agents' Strategies. | 0 | 0.34 | 2021 |
| Evolutionary reinforcement learning for sparse rewards | 0 | 0.34 | 2021 |
| A Three-valued Approach to Strategic Abilities under Imperfect Information. | 0 | 0.34 | 2020 |
| Verification of multi-agent systems with public actions against strategy logic. | 0 | 0.34 | 2020 |
| Formal verification of debates in argumentation theory | 0 | 0.34 | 2020 |
| Model Checking Temporal Epistemic Logic Under Bounded Recall | 0 | 0.34 | 2020 |
| A Hennessy-Milner Theorem for ATL with Imperfect Information | 0 | 0.34 | 2020 |
| A Social Choice Theoretic Perspective on Database Aggregation | 0 | 0.34 | 2019 |
| Imperfect Information In Alternating-Time Temporal Logic On Finite Traces | 0 | 0.34 | 2019 |
| Decidable Verification Of Agent-Based Data-Aware Systems | 0 | 0.34 | 2019 |
| Strategy Logic with Simple Goals - Tractable Reasoning about Strategies. | 0 | 0.34 | 2019 |
| Model Checking ATL* on vCGS. | 0 | 0.34 | 2019 |
| An Abstraction-based Method for Verifying Strategic Properties in Multi-agent Systems with Imperfect Information | 0 | 0.34 | 2019 |
| Resource-bounded ATL: the Quest for Tractable Fragments | 0 | 0.34 | 2019 |
| Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing. | 0 | 0.34 | 2019 |
| Decidable Verification Of Multi-Agent Systems With Bounded Private Actions | 0 | 0.34 | 2018 |
| Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification. | 0 | 0.34 | 2018 |
| Second-order propositional modal logic: Expressiveness and completeness results. | 0 | 0.34 | 2018 |
| Approximating Perfect Recall When Model Checking Strategic Abilitie. | 0 | 0.34 | 2018 |
| Alternating-time Temporal Logic on Finite Traces. | 1 | 0.37 | 2018 |
| Database Aggregation. | 0 | 0.34 | 2018 |
| Dynamic Logic for Data-aware Systems: Decidability Results. | 0 | 0.34 | 2017 |
| Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. | 1 | 0.34 | 2017 |
| Agent-based Abstractions for Verifying Alternating-time Temporal Logic with Imperfect Information. | 1 | 0.37 | 2017 |
| Verification of Multi-agent Systems with Imperfect Information and Public Actions. | 4 | 0.37 | 2017 |
| Relaxing Exclusive Control In Boolean Games | 0 | 0.34 | 2017 |
| A Logic For Global And Local Announcements | 0 | 0.34 | 2017 |
| Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. | 0 | 0.34 | 2017 |
| Parameterised Verification of Data-aware Multi-Agent Systems. | 1 | 0.34 | 2017 |
| Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems. | 4 | 0.43 | 2016 |
| A Semantical Analysis of Second-Order Propositional Modal Logic. | 2 | 0.39 | 2016 |
| Abstraction-Based Verification of Infinite-State Reactive Modules. | 0 | 0.34 | 2016 |
| A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems. | 0 | 0.34 | 2016 |
| Second-order Propositional Announcement Logic. | 2 | 0.37 | 2016 |
| On Logics of Strategic Ability Based on Propositional Control. | 2 | 0.39 | 2016 |
| On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks | 2 | 0.38 | 2015 |
| Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results. | 5 | 0.50 | 2015 |
| Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems. | 2 | 0.36 | 2015 |
| Formal Analysis of Dialogues on Infinite Argumentation Frameworks. | 0 | 0.34 | 2015 |
| Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results | 7 | 0.50 | 2014 |
| Reasoning About Knowledge And Strategies: Epistemic Strategy Logic | 13 | 0.65 | 2014 |
| Cooperative Monitoring to Diagnose Multiagent Plans. | 7 | 0.42 | 2014 |
