conftrace_

public observation logic

1 paper

Explore in graph

Also known as

POL

Co-occurring keywords · papers mentioning both

agent expectation (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