Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2021

  1. CHALUPA, Marek, David KLAŠKA, Jan STREJČEK a Lukáš TOMOVIČ. Fast Computation of Strong Control Dependencies. In Alexandra Silva, K. Rustan M. Leino. Computer Aided Verification. Cham (Švýcarsko): Springer, Cham, 2021. s. 887-910. ISBN 978-3-030-81687-2. doi:10.1007/978-3-030-81688-9_41.
  2. KLAŠKA, David, Antonín KUČERA, Vojtěch ŘEHÁK a Vít MUSIL. Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games. In Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021). AUAI Press, 2021.
  3. 2020

  4. KLAŠKA, David, Antonín KUČERA a Vojtěch ŘEHÁK. Adversarial Patrolling with Drones. In Proceedings of the 2020 International Conference on Autonomous Agents & Multiagent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2020. s. 629-637. ISBN 978-1-4503-7518-4. doi:10.5555/3398761.3398837.
  5. 2018

  6. KLAŠKA, David, Antonín KUČERA, Tomáš LAMSER a Vojtěch ŘEHÁK. Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games. In Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2018. s. 659-666. ISBN 978-1-5108-6808-3. doi:10.5555/3237383.3237481.
  7. 2014

  8. BRÁZDIL, Tomáš, David KLAŠKA, Antonín KUČERA a Petr NOVOTNÝ. Minimizing Running Costs in Consumption Systems. In Armin Biere, Roderick Bloem. Computer Aided Verification. Neuveden: Springer International Publishing, 2014. s. 457-472. ISBN 978-3-319-08866-2. doi:10.1007/978-3-319-08867-9_30.
Zobrazit podrobně
Zobrazeno: 4. 12. 2021 03:28