Learning in Verification Laboratory (LiVe Lab)

Contact: prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.

LiVe Lab is a research group exploring the intersection of (i) machine learning (and, in wider terms, artificial intelligence) and (ii) the analysis, verification, and control of complex systems. In particular, we are interested in the mathematical foundations and algorithmic techniques necessary for creating safe and reliable systems that incorporate AI-based components. To this end, we also employ AI-based methods to enhance these algorithmic techniques. Our applications span various fields, including robotics, autonomous driving, and biochemical systems. Part of our group is based at the Technical University of Munich, at the highest-ranked CS department in the EU

All research groups