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

77 citations

researchers with a paper here
collaborating institutions
Showing 2014Show all

2 papers · 1 filter

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.FL2014

Turing degrees of limit sets of cellular automata

Alex Borello, Julien Cervelle, Pascal Vanier

Cellular automata are discrete dynamical systems and a model of computation. The limit set of a cellular automaton consists of the configurations having an infinite sequence of pre…