Author of the publication

AVERIST: An Algorithmic Verifier for Stability.

, and . NSV, volume 317 of Electronic Notes in Theoretical Computer Science, page 133-139. Elsevier, (2015)

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

Verification Techniques for Hybrid Systems., , and . ISoLA (2), volume 9953 of Lecture Notes in Computer Science, page 833-842. (2016)Formal Synthesis of Stabilizing Controllers for Switched Systems., and . HSCC, page 111-120. ACM, (2017)Counterexample Guided Abstraction Refinement for Stability Analysis., and . CAV (1), volume 9779 of Lecture Notes in Computer Science, page 495-512. Springer, (2016)Hybridization for Stability Analysis of Switched Linear Systems., and . HSCC, page 71-80. ACM, (2016)An algorithmic approach to global asymptotic stability verification of hybrid systems., and . EMSOFT, page 9:1-9:10. ACM, (2016)Abstraction Based Model-Checking of Stability of Hybrid Systems., and . CAV, volume 8044 of Lecture Notes in Computer Science, page 280-295. Springer, (2013)Synthesis of hybrid automata with affine dynamics from time-series data., , and . HSCC, page 2:1-2:11. ACM, (2021)Hybridization for Stability Verification of Nonlinear Switched Systems., and . RTSS, page 244-256. IEEE, (2020)Membership-Based Synthesis of Linear Hybrid Automata., , , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 297-314. Springer, (2019)An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary., and . SNR@CAV, volume 37 of EPiC Series in Computing, page 32-39. EasyChair, (2015)