Skupina Learning in Verification (LiVe Lab) se zaměřuje na interakce mezi strojovým učením a verifikací. Náš výzkum zahrnuje vysvětlitelnou AI, verifikaci neuronových sítí, stochastické hry a řízení, pravděpodobnostní ověřování modelů (probabilistic model checking), temporální logiky (zejména LTL, PCTL) a teorii automatů. Náš výzkum je aplikovatelný v oblastech robotiky, biomedicíny a v automobilovém průmyslu. Tým působí na Masarykově univerzitě v Brně (Česká republika) a na Technické univerzitě v Mnichově (Německo).
Laboratoř strojového učení ve verifikaci (LiVe Lab)
- OdvětvíLetecký a kosmický průmysl, Informace a komunikační technologie, Doprava, mobilita a logistika
- InstituceMasarykova univerzita
- Fakulta / InstitutFakulta informatiky
- Typ výzkumuAplikovaný, Základní
- Oblast výzkumuAI pro vědu, Automatizované plánování, rozvrhování a optimalizace, Vysvětlitelná AI, Formální metody v AI, Mezioborové aplikace AI, Multiagentní systémy a teorie her, Reinforcement learning, Teoretická informatika
Vedoucí skupiny
Jan Křetínský, GS
Explainable AI and Verification of Neural Networks, Stochastic Games and Control, Probabilistic Model Checking, Temporal Logics, Automata Theory, Decision Making under Uncertainty, Markov Decision Processes, Decision Trees
- KontaktJan Křetínský
- Email139914@mail.muni.cz
- Webhttps://live-lab.fi.muni.cz/
- AdresaBotanická 68a, 602 00 Brno