坦尼娅·辛德勒
![]() |
|
研究兴趣
出版物
使用电子匹配增量搜索量化公式的冲突和单位实例 VMCAI 2021年 和Jochen Hoenicke一起[ 国防部 ]
阵列理论的有效插值 2018年国际JCAR 和Jochen Hoenicke一起。 [ 国防部 ] [ 扩展版本 ] 带动态块编码的终极大班(竞争贡献),单位: 2018年TACAS 与丹尼尔·迪特施、马吕斯·格雷楚斯、马提亚斯·海兹曼、乔森·霍尼克、亚历山大·纳茨、安德烈亚斯·波德尔斯基和克里斯蒂安·席林一起。 [ 国防部 ] 终极Automizer和寻找完美插值-(竞争贡献),in 2018年TACAS 与马蒂亚斯·海兹曼、陈玉芳、丹尼尔·迪特施、马吕斯·格雷楚斯、乔森·霍尼克、李勇、亚历山大·纳茨、贝蒂姆·穆萨、克里斯蒂安·席林和安德烈亚斯·波德尔斯基一起。 [ 国防部 ] 无限状态模型检查的Selfles插值,in 2018年VMCAI 与Dejan Jovanović合作。 [ 国防部 ]
实习
SRI International,纽约。使用 德扬·约瓦诺维奇 .