conftrace_

agent expectation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

public observation logic (1) pspace completeness (1) multi-agent system (1) dynamic epistemic logic (1) model checking (1)

Papers

On Verifying Expectations and Observations of Intelligent Agents IJCAI 2022