Jiaxiang Liu

Available identifiers

Publication	Date of Publication	Type
Adaptive disturbance observer-based fast nonsingular terminal sliding mode control for quadrotors	2024-09-10	Paper
Novel study on active reliable PID controller design based on probability density evolution method and interval-oriented sequential optimization strategy	2024-06-18	Paper
Certified verification for algebraic abstraction	2024-02-01	Paper
\textsc{CoqCryptoLine}: a verified model checker with certified results	2024-01-12	Paper
Hybrid reliability-based sequential optimization for PID vibratory controller design considering interval and fuzzy mixed uncertainties	2023-10-13	Paper
\textsf{CLEVEREST}: accelerating CEGAR-based neural network verification via adversarial attacks	2023-07-28	Paper
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs	2023-02-28	Paper
CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver	2022-03-25	Paper
A novel interval dynamic reliability computation approach for the risk evaluation of vibration active control systems based on PID controllers	2021-09-24	Paper
Confluence of layered rewrite systems	2017-08-31	Paper
Confluence by Critical Pair Analysis	2014-07-24	Paper
Confluence: The Unifying, Expressive Power of Locality	2014-03-25	Paper
From diagrammatic confluence to modularity	2013-01-07	Paper

This page was built for person: Jiaxiang Liu