Analysis and Verification of Input-to-State Stability for Nonautonomous Discrete-Time Switched Systems via Semidefinite Programming. - Junjie Lu; Zhikun She; Bodan Liu; Shuzhi Sam Ge (IEEE Trans. Autom. Control., 2021)

Paraconsistent Abductive Learning for Processing Inconsistent Information. - Bodan Liu; Koji Tanaka; Md. Zakir Hossain (DICTA, 2024)