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 2015 · cs.FLShow all

1 paper · 2 filters

cs.FL2015

-algebraicity of zeta functions of sofic-Dyck shifts

Marie-Pierre Béal, Cǎtǎlin Dima

We prove that the multivariate zeta function of a sofic-Dyck shift is the commutative series of some visibly pushdown language. As a consequence the zeta function of a sofic-Dyck s…