EasyChair Smart SlideDocs/Log in
Author: Mingshuai Chen

This page shows all presentations of this author published in EasyChair Smart Slide.

NIL: Learning Nonlinear Interpolants

NIL: Learning Nonlinear Interpolants

Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur and Naijun Zhan

Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations

Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations

Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle and Bai Xue

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair