Martin Leucker

在不确定性和假设条件下进行监视的符号运行时验证

运行时验证的实用方法

利用攻击树进行安全教育与培训：简化威胁分析

基于Q学习的确定性有限自动机推理

基于仿真的德国石勒苏益格-荷尔斯泰因州汽车共享电气化分析

车辆与电网智能能量调节的多主体仿真

负责任和监管一致的医学机器学习: 挑战和解决方案调查

针对安全性和安全性关键软件的预期主动监控

LTL和TLTL的运行时验证

从MSCs学习通信自动机