Informatics Colloquium 16.4. Machine learning in verification
Informatics 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.