75 citations · 276 across the 23 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.GT2021★ 3 cited
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games
David Klaška, Antonín Kučera, Vít Musil +1
We design a new efficient strategy synthesis method applicable to adversarial patrolling problems on graphs with arbitrary-length edges and possibly imperfect intrusion detection.…
cs.LG2021★ 12 cited
CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints
Anselm Paulus, Michal Rolínek, Vít Musil +2
Bridging logical and algorithmic reasoning with modern machine learning techniques is a fundamental challenge with potentially transformative impact. On the algorithmic side, many…