Laboratoř strojového učení ve verifikaci (LiVe Lab)

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).