Bachelor's and Master's Thesis Supervision

Besides the topics already announced,

students are welcome to contact Formela staff members, explain their preferences, and agree on a thesis proposal tailored specifically to them.

Depending on the mutual agreement, the difficulty can range from "interesting" to "highly demanding". Perspective Ph.D. students are recommended to insist on the latter.

Staff members Research Areas

Topics currently available

Patrolling Games: Simulation and Visualization

The goal is to develop a simulator for patrolling games, where a mobile patroller moves among protected targets represented as vertices in a directed graph. Patroller's moves are controlled by a precomputed randomized strategy. The goal is to visualize the strategy, allow for dynamic changes in the structure of the graph and adapt the strategy on the fly.

Comparing the functionality of patrolling strategies for different environment types

In robotic patrolling, an autonomous device (such as a drone) strives to detect undesirable activities in a predefined set of targets. These activities can be initiated either by an adversarial attacker or spontaneously by nature, which is formally reflected in the objective function used for evaluating the quality of the patrolling strategy. A challenging open problem is how much the chosen type of environment (adversarial or non-adversarial) influences the design of the patroller's moving strategy.

The main goal of the thesis is to answer this question by providing rigorous (theoretical or experimental) evidence.

Contact: Antonín Kučera


Successfully defended theses

You are running an old browser version. We recommend updating your browser to its latest version.

More info