Hybridization based CEGAR for Hybrid Automata with Affine Dynamics co-authored by CIS faculty Pavithra Prabhakar accepted for publication and presentation

Pavithra Prabhakar

The paper “Hybridization based CEGAR for Hybrid Automata with Affine Dynamics” written by Pavithra Prabhakar along with Nima Roohi and Mahesh Viswanathan from the University of Illinois at Urbana-Champaign has been accepted for publication in the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), part of the The European Joint Conferences on Theory and Practice of Software (ETAPS), which is the primary European forum for academic and industrial researchers working on topics relating to Software Science. The paper was one of the 45 papers selected among 157 submissions received by the conference.