Building FI, Botanická 68a,

Department of Computer Science

Address:	Botanická 554/68a, 602 00 Brno

Year of publication

Type

Total number of publications: 2

Conference proceedings

Adversarial Patrolling with Drones

KLAŠKA David KUČERA Antonín ŘEHÁK Vojtěch

Article in Proceedings

Proceedings of the 2020 International Conference on Autonomous Agents & Multiagent Systems, year: 2020
MUST: Minimal Unsatisfiable Subsets Enumeration Tool

BENDÍK Jaroslav ČERNÁ Ivana

Article in Proceedings

Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, year: 2020