Part of the Computer Sciences Commons

Works by Erika Ábrahám in Computer Sciences

2016

Linear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function Synthesis, Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám
Computer Science Faculty Publications

Link

2015

A Benchmark Suite for Hybrid Systems Reachability Analysis, Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski
Computer Science Faculty Publications

Link