Learning One-Clock Timed Automata

por An, Jie, Chen, Mingshuai, Zhan, Bohua, Zhan, Naijun, Zhang, Miaomiao
Publicado 2020

Unbounded-Time Safety Verification of Stochastic Differential Dynamics

por Feng, Shenghua, Chen, Mingshuai, Xue, Bai, Sankaranarayanan, Sriram, Zhan, Naijun
Publicado 2020

Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control

por Chen, Mingshuai, Fränzle, Martin, Li, Yangjia, Mosaad, Peter N., Zhan, Naijun
Publicado 2020