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 2016 · cs.CCShow all

1 paper · 2 filters

cs.CC2016★ 1 cited

On entropic convergence of algorithms in terms of domain partitions

Anatol Slissenko

The paper describes an approach to measuring convergence of an algorithm to its result in terms of an entropy-like function of partitions of its inputs of a given length. The goal…