V Laboratoři formálních metod, logiky a algoritmů se věnujeme vědeckému výzkumu v oblastech návrhu algoritmů a informatických aplikací logiky, teorie her a diskrétní matematiky. Ve výzkumu přímo spolupracujeme s mnohými špičkovými zahraničními odborníky a pracovišti a naši vědci jsou zároveň členy národního Centra excelence Institut teoretické informatiky CE-ITI.
Formela – Laboratoř formálních metod, logiky a algoritmů
- OdvětvíInformace a komunikační technologie, Věda a výzkum
- InstituceMasarykova univerzita
- Fakulta / InstitutFakulta informatiky
- Typ výzkumuAplikovaný, Základní
- Oblast výzkumuAutomatizované plánování, rozvrhování a optimalizace, Formální metody v AI, Multiagentní systémy a teorie her, Reinforcement learning
Vedoucí skupiny
Antonín Kučera, GS
risk-aware agents, security and patrolling games and verification of probabilistic systems, stochastic games
- KontaktPetr Novotný
- Emailpetr.novotny@fi.muni.cz
- Webhttps://www.fi.muni.cz/research/laboratories/formela.html
- AdresaBotanická 68a, 602 00 Brno