文章预览
人工智能 LiVe 2020 4th Workshop on Learning in Verification 全文截稿: 2020-02-15 开会时间: 2020-04-25 会议难度: ★★ CCF分类: 无 会议地点: Dublin, Ireland 网址:https://www7.in.tum.de/~kretinsk/LiVe2020.html Topic The success of machine learning has recently motivated researchers in formal methods to adapt the highly scalable learning methods to the verification setting, where correctness guarantees on the result are essential. The aim of this workshop is to bring together researchers from the formal verification community that are developing approaches to exploit learning methods in verification as well as researchers from machine learning area interested in applications in verification and synthesis. The general topic of machine learning in verification includes, for instance, the use of learning techniques (e.g. reinforcement learning) for spee
………………………………