关注
Shaan Vaidya
Shaan Vaidya
University of Pennsylvania
在 seas.upenn.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Compositional learning and verification of neural network controllers
R Ivanov, K Jothimurugan, S Hsu, S Vaidya, R Alur, O Bastani
ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-26, 2021
352021
A Study of the McEliece PKE
S Vaidya, S Dutta
Spring, 2018
12018
Verification of Timed Asynchronous Programs
PA Abdulla, MF Atig, SN Krishna, S Vaidya
38th IARCS Annual Conference on Foundations of Software Technology and …, 2018
2018
系统目前无法执行此操作，请稍后再试。
文章 1–3
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交