Part of the Physical Sciences and Mathematics Commons

Works by Stefan Schupp in Physical Sciences and Mathematics

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