Dimitar P. Guelev | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat AI Photo Editor

research

∙ 11/07/2020

Reasoning about Temporary Coalitions and LTL-definable Ordered Objectives in Infinite Concurrent Multiplayer Games

We propose enhancing the use of propositions for denoting decisions and ...

0 Dimitar P. Guelev, et al. ∙

research

∙ 03/04/2013

Reducing Validity in Epistemic ATL to Validity in Epistemic CTL

We propose a validity preserving translation from a subset of epistemic ...

0 Dimitar P. Guelev, et al. ∙