Publications

Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski (2015). A Benchmark Suite for Hybrid Systems Reachability Analysis.
DOI
Jó Agila Bitsch, Christoph Wollgarten, Stefan Schupp (2011). Perfect Difference Sets for Neighbor Discovery.
DOI