https://formela.fi.muni.cz/https://formela.fi.muni.cz/newshttps://formela.fi.muni.cz/news/regstar-efficient-strategy-synthesis-for-adversarial-patrolling-gameshttps://formela.fi.muni.cz/news/deciding-polynomial-termination-complexity-for-vass-programshttps://formela.fi.muni.cz/news/the-satisfiability-problem-for-a-quantitative-fragment-of-pctlhttps://formela.fi.muni.cz/news/a-paper-about-recurrent-reachability-objectives-accepted-to-ijcai-2022https://formela.fi.muni.cz/news/a-new-masters-thesis-topic-about-patrollinghttps://formela.fi.muni.cz/news/a-paper-about-on-the-fly-patrolling-strategy-adaptation-accepted-to-uai-2022https://formela.fi.muni.cz/news/a-paper-on-planning-for-resource-constrained-agents-accepted-at-aaai-2023https://formela.fi.muni.cz/news/two-papers-at-ijcai23https://formela.fi.muni.cz/news/a-new-paper-on-vass-mdps-accepted-to-concur-2023https://formela.fi.muni.cz/news/chess-industrial-day-2023https://formela.fi.muni.cz/news/a-new-paper-was-accepted-to-aaai-2024https://formela.fi.muni.cz/news/the-pctl-satisfiability-problem-resolvedhttps://formela.fi.muni.cz/news/lgpd-a-general-framework-for-backpropagation-through-embedded-optimization-layershttps://formela.fi.muni.cz/news/two-new-papers-accepted-at-aaai-2025https://formela.fi.muni.cz/peoplehttps://formela.fi.muni.cz/research-areashttps://formela.fi.muni.cz/research-areas/logic-and-automatahttps://formela.fi.muni.cz/research-areas/program-analysis-and-verificationhttps://formela.fi.muni.cz/research-areas/risk-aware-decision-makinghttps://formela.fi.muni.cz/research-areas/security-gameshttps://formela.fi.muni.cz/research-areas/stochastic-patrollinghttps://formela.fi.muni.cz/projectshttps://formela.fi.muni.cz/publicationshttps://formela.fi.muni.cz/eventshttps://formela.fi.muni.cz/events/chess-industrial-day-2023https://formela.fi.muni.cz/events/dec-2022-workshop-on-recent-advances-in-formal-verificationhttps://formela.fi.muni.cz/events/protect-2024https://formela.fi.muni.cz/events/chess-students-day-2025https://formela.fi.muni.cz/how-to-joinhttps://formela.fi.muni.cz/how-to-join/formela-seminarshttps://formela.fi.muni.cz/how-to-join/thesis-supervisionhttps://formela.fi.muni.cz/contact