Sotabase

Career

· Researcher, UCLA PolyArch Research Laboratory2020–

Publications (112)

An Abstraction Technique for the Verification of Artifact-Centric Systems
International Conference on Principles of Knowledge Representation and Reasoning · 2012
69
cited
Verification of Multi-agent Systems with Imperfect Information and Public Actions
Adaptive Agents and Multi-Agent Systems · 2017
65
cited
Verification of Agent-Based Artifact Systems
Journal of Artificial Intelligence Research · 2013
57
cited
Algebraic Aspects of Cut Elimination
Studia Logica: An International Journal for Symbolic Logic · 2004
56
cited
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic
International Joint Conference on Artificial Intelligence · 2017
52
cited
Verification of Deployed Artifact Systems via Data Abstraction
International Conference on Service Oriented Computing · 2011
47
cited
Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction
International Conference on Service Oriented Computing · 2012
47
cited
Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
SR · 2014
44
cited
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
Journal of Artificial Intelligence Research · 2012
35
cited
Verification of multi-agent systems with public actions against strategy logic
Artificial Intelligence · 2020
33
cited
Systematic Generalisation through Task Temporal Logic and Deep Reinforcement Learning
2020
32
cited
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
Artificial Intelligence · 2009
28
cited
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies
International Joint Conference on Artificial Intelligence · 2019
28
cited
An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information
AAAI Conference on Artificial Intelligence · 2019
25
cited
Approximating Perfect Recall When Model Checking Strategic Abilities
International Conference on Principles of Knowledge Representation and Reasoning · 2018
25
cited
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
Artificial Intelligence · 2023
21
cited
In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications
International Conference on Learning Representations · 2021
21
cited
Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning
European Conference on Artificial Intelligence · 2020
18
cited
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
Adaptive Agents and Multi-Agent Systems · 2022
18
cited
Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot
Adaptive Agents and Multi-Agent Systems · 2017
17
cited
Sotabase