C. Dima

activity

20102026

most citedModel-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable

77 citations · 145 across the 23 of their papers we have counts for

collaborators

Showing 2014Show all

2 papers · 1 filter

cs.LO2014★ 3 cited

The Expressive Power of Epistemic $μ$ -Calculus

Cătălin Dima, Bastien Maubert, Sophie Pinchinat

While the $μ$ -calculus notoriously subsumes Alternating-time Temporal Logic (ATL), we show that the epistemic $μ$ -calculus does not subsume ATL with imperfect information (ATL $_{i}$ )…

cs.LO2014

Safraless Synthesis for Epistemic Temporal Specifications

Rodica Bozianu, Catalin Dima, Emmanuel Filiot

In this paper we address the synthesis problem for specifications given in linear temporal single-agent epistemic logic, KLTL (or $K L_{1}$ ), over single-agent systems having imperfec…

The Expressive Power of Epistemic μ-Calculus

Safraless Synthesis for Epistemic Temporal Specifications

The Expressive Power of Epistemic $μ$ -Calculus