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 2021Show all

1 paper · 1 filter

cs.DC2021

Cellular Automata and Kan Extensions

Alexandre Fernandez, Luidnel Maignan, Antoine Spicher

In this paper, we formalize precisely the sense in which the application of cellular automaton to partial configuration is a natural extension of its local transition function thro…