EXPTIME
相关论文数: 3
顶级研究者
最高引用论文
Tractable Reasoning about Group Beliefs
Barbara Dunin‐Kȩplicz, Andrzej Szałas, Rineke Verbrugge
引用数: 8 • 2014
On decidability and complexity of low-dimensional robot games
Reino Niskanen, Igor Potapov, J. Reichert
引用数: 5 • 2019
Robot Games with States in Dimension One
Reino Niskanen
引用数: 2 • 2016