Part of the Graphics and Human Computer Interfaces Commons

Works by Erika Ábrahám in Graphics and Human Computer Interfaces

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