Projects

Antonín Kučera

Running Projects

Models, Algorithms, and Tools for Solving Adversarial Security Problems (PI).

Efficient Analysis and Optimization for Probabilistic Systems and Games (PI).

European Network for Game Theory (WP leader, MC member).

Past Projects

Center of Excellence - Institute for Theoretical Computer Science (co-PI).

Algorithms for Infinite-State Discrete Systems and Games (PI).

Game Theory in Formal Analysis and Verification of Computer Systems (PI).

Formal Methods for Analysis and Verification of Complex Systems (PI).

Institute for Theoretical Computer Science, ITI (co-PI).

Probabilistic methods in formal verification of infinite-state systems (co-PI).

(Un)decidable Problems in Process Algebras (PI)

Methods for Semi-Automatic Verification of Concurrent Systems (PI)