News and events archive
Research & development
Informatics Colloquium 16.4. Machine learning in verificationInformatics Colloquium 16. 4. 2019, 14:00 lecture hall D2 Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D., Department of Informatics, Technical University of Munich, FI MU Machine learning in verification Abstract: On the one hand, formal verification methods provide hard guarantees on analysis results, but do not scale well and are often hard to use. On the other hand, machine learning comes with weak or no guarantees, but scales well and can provide more understandable solutions. In this talk, we show several examples how these approaches can be combined and the best of the two worlds achieved. We demonstrate this on controller synthesis and controller representation in the setting of Markov decision processes and games.