4 citations · 8 across the 3 of their papers we have counts for
3 papers
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 ), over single-agent systems having imperfec…
cs.GT2013★ 4 cited
Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics
Rodica Bozianu, Catalin Dima, Constantin Enea
We identify a subproblem of the model-checking problem for the epistemic μ-calculus which is decidable. Formulas in the instances of this subproblem allow free variables within the…
cs.LO2012★ 4 cited
Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics
Rodica Bozianu, Cătălin Dima, Constantin Enea
We show that the model-checking problem is decidable for a fragment of the epistemic μ-calculus. The fragment allows free variables within the scope of epistemic modalities in a re…