Building FI, Botanická 68a,

Institute for Theoretical Computer Science

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

Phone:	+420 549 49 1814

Year of publication

Type

Total number of publications: 4

Chapters

Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge

CHODIL Miroslav KUČERA Antonín KŘETÍNSKÝ Jan

Chapter of a book

Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, year: 2022, number of pages: 24 s.

Conference proceedings

General Optimization Framework for Recurrent Reachability Objectives

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

Article in Proceedings

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, year: 2022
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling

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

Article in Proceedings

21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022., year: 2022
On-the-fly Adaptation of Patrolling Strategies in Changing Environments

BRÁZDIL Tomáš KLAŠKA David KUČERA Antonín MUSIL Vít NOVOTNÝ Petr ŘEHÁK Vojtěch

Article in Proceedings

Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022, year: 2022