Author of the publication

Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration.

, , , , and . TASE, page 113-120. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Tuneup and Integration of Resources in Web-Based Learning., , and . ICALT, page 391-394. IEEE Computer Society, (2001)Distributed Variation Parameter Design for Dynamic Formation Maneuvers With Bearing Constraints., , , , and . IEEE Trans Autom. Sci. Eng., 21 (3): 3664-3677 (July 2024)Design and Analysis of Truss Aerial Transportation System (TATS): The Lightweight Bar Spherical Joint Mechanism., , , , , , and . IROS, page 10501-10507. IEEE, (2022)Bounded Model Checking of Synchronous Reactive Models in Ptolemy II., , , and . APSEC, page 407-416. IEEE, (2022)A Novel Reliability-Centered Opportunistic Maintenance Strategy for Metro Train Complex Systems., , , and . IEEE Intell. Transp. Syst. Mag., 14 (3): 146-159 (2022)Deep Learning-Based Microscopic Cell Detection Using Inverse Distance Transform and Auxiliary Counting., , , , , , , , and . IEEE J. Biomed. Health Informatics, 28 (10): 6092-6104 (October 2024)Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking., , , and . QRS, page 410-421. IEEE, (2022)A Distributed Algorithm for Solving A Time-Varying Linear Equation., , , , , and . CDC, page 3160-3165. IEEE, (2023)Study of the Collection of Network Performance and Algorithms Based on Active Network., , , and . GCC Workshops, page 121-124. IEEE Computer Society, (2006)Formation Planning for Tethered Multirotor UAV Cooperative Transportation With Unknown Payload and Cable Length., , and . IEEE Trans Autom. Sci. Eng., 21 (3): 3449-3460 (July 2024)