research
∙
06/05/2023
On simple expectations and observations of intelligent agents: A complexity study
Public observation logic (POL) reasons about agent expectations and agen...
share
research
∙
05/02/2022
On verifying expectations and observations of intelligent agents
Public observation logic (POL) is a variant of dynamic epistemic logic t...
research
∙
04/20/2021
On link deletion and point deletion in games on graphs
We discuss link and point deletion operators on graph games and provide ...
research
∙
07/27/2017