RNDr. David Klaška, Ph.D.
Katedra teorie programování
| e‑mail: |
|
|---|
Publikace
Počet publikací: 12
2018
-
Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games
Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems, rok: 2018
2014
-
Minimizing Running Costs in Consumption Systems
Computer Aided Verification, rok: 2014