Regstar: efficient strategy synthesis for adversarial patrolling games

David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák

Abstract: We design a new efficient strategy synthesis method applicable to adversarial patrolling problems on graphs with arbitrary-length edges and possibly imperfect intrusion detection. The core ingredie...