EXPTIME
Related papers: 3
Top Researchers
Top Cited Papers
Tractable Reasoning about Group Beliefs
Barbara Dunin‐Kȩplicz, Andrzej Szałas, Rineke Verbrugge
Citations: 8 • 2014
On decidability and complexity of low-dimensional robot games
Reino Niskanen, Igor Potapov, J. Reichert
Citations: 5 • 2019
Robot Games with States in Dimension One
Reino Niskanen
Citations: 2 • 2016