In: Formal Methods in Computer-Aided Design. Formal Methods in Computer-Aided Design (FMCAD-2016), October 3-6, Mountain View, USA, 2016.
Fabian Hillock; Danilo Schmidt; Oliver Staeck; horsten Schaaf; Thomas Tolxdorff; Alexander Löser; Feiyu Xu; Hans Uszkoreit; Philipp Legge; Kai Sachs; Sonja Oechsler; Klemens Budde
In: ISR 2016: 47th International Symposium on Robotics. International Symposium on Robotics (ISR-2016), 47th International Symposium on Robotics, June …