Counterexample Guided Abstraction Refinement for Stability Analysis coauthored by CS faculty accepted for publication and presentation

Author: 
Pavithra Prabhakar

The paper "Counterexample Guided Abstraction Refinement for Stability Analysis" written by Pavithra Prabhakar along with Miriam Garcia Soto from IMDEA Software Institute in Madrid, Spain has been accepted for publication in the 28th International Conference on Computer Aided Verification (CAV). This paper was one of the 46 papers selected among the 165 submissions received by the conference.