Paraconsistent Abductive Learning for Processing Inconsistent Information.
Proceedings of the International Conference on Digital Image Computing: Techniques and Applications, 2024
Analysis and Verification of Input-to-State Stability for Nonautonomous Discrete-Time Switched Systems via Semidefinite Programming.
IEEE Trans. Autom. Control., 2021