3 papers
math.LO2019
Cayley structures and common knowledge
Felix Canavoi, Martin Otto
We investigate multi-agent epistemic modal logic with common knowledge modalities for groups of agents and obtain van Benthem style model-theoretic characterisations, in terms of b…
math.CO2019
Some Structure Theory for Cayley Graphs and Associated Hypergraphs
Felix Canavoi
We expand the structural theory of \ca graphs that avoid specific cyclic coset patterns. We present several characterisations of tree-likeness for these structures and show a close…
cs.CC2012
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs
Felix Canavoi, Erich Grädel, Roman Rabinovich
For some time the discrete strategy improvement algorithm due to Jurdzinski and Voge had been considered as a candidate for solving parity games in polynomial time. However, it has…