Abstract. Alternating-time temporal logic (ATL) is a well- known logic for reasoning about strategic abilities of agents. An important feature that ...
In this paper, we show that adding explicit fixed point operators to the next-time fragment of ATL already allows to capture abilities that could not be ...
Alternating-time temporal logic (ATL) is a well-known logic for reasoning about strategic abilities of agents. An important feature that distinguishes ...
Jul 19, 2014 · While the \mu-calculus notoriously subsumes Alternating-time Temporal Logic (ATL), we show that the epistemic \mu-calculus does not subsume ATL ...
ABSTRACT. We identify a subproblem of the model-checking problem for the epistemic µ-calculus which is decidable. Formulas in the instances.
Alternating Epistemic Mu-Calculus. Bulling, N.; JAMROGA, Wojciech. 2011 • In Proceedings of IJCAI-11. Peer reviewed. Permalink https://hdl.handle.net/10993 ...
ABSTRACT. We identify a subproblem of the model-checking problem for the epistemic μ-calculus which is decidable. Formulas in the instances.
People also ask
What does MU mean in calculus?
What is probabilistic MU calculus?
Alternating Epistemic Mu-Calculus · N. BullingW. Jamroga. Computer Science. IJCAI. 2011. TLDR. This paper shows that adding explicit fixed point operators to ...
PDF | While the $\mu$-calculus notoriously subsumes Alternating-time Temporal Logic (ATL), we show that the epistemic $\mu$-calculus does not subsume.
We propose a probabilistic extension of Alternating µ-Calculus (AMC), named PAMC, for reasoning about strategic abilities of agents in stochastic multi-agent ...