4 citations · 4 across the 1 of their papers we have counts for
2 papers
cs.LO2019
Dynamic Epistemic Logic with Communication Actions
Mario Roberto Folhadela Benevides, Isaque Macalam Saab Lima
This work proposes a Dynamic Epistemic Logic with Communication Actions that can be performed concurrently. Unlike Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek a…
cs.GT2014★ 4 cited
Using HMM in Strategic Games
Mario Benevides, Isaque Lima, Rafael Nader +1
In this paper we describe an approach to resolve strategic games in which players can assume different types along the game. Our goal is to infer which type the opponent is adoptin…