1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.LO2020
Reasoning with Contextual Knowledge and Influence Diagrams
Erman Acar, Rafael Peñaloza
Influence diagrams (IDs) are well-known formalisms extending Bayesian networks to model decision situations under uncertainty. Although they are convenient as a decision theoretic…
cs.AI2020
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach
Renyan Feng, Erman Acar, Stefan Schlobach +2
Computation Tree Logic (CTL) is one of the central formalisms in formal verification. As a specification language, it is used to express a property that the system at hand is expec…
cs.GT2020★ 1 cited
Distance-based Equilibria in Normal-Form Games
Erman Acar, Reshef Meir
We propose a simple uncertainty modification for the agent model in normal-form games; at any given strategy profile, the agent can access only a set of "possible profiles" that ar…