Manish Goyal - Publications, H-index & Citations | 科言猫

未登录

返回

M

Manish Goyal

university of north carolina

3H指数

14论文数

20被引数

收录论文 1

发表时间

Extracting counterexamples induced by safety violation in linear hybrid systems

IF5.9

2020-07-01

3

OAAI

Goyal, Manish; Duggirala, Parasara Sridhar

分享

收藏