Shiping Chen

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 3

Top Topics

Theorem Proving

Reachability Analysis

Top Venues

Acta Informatica

J. Symb. Comput.

Publications

Shiping Chen, Xinyu Ge
Reachability analysis of linear systems. Acta Informatica 61 (3) (2024)
Shiping Chen, Xinyu Ge
Reachability Analysis of Linear System. CoRR (2022)
Shiping Chen, Zhong Liu
Automated proof of mixed trigonometric-polynomial inequalities. J. Symb. Comput. 101 (2020)