Get my own profile
Public access
View all13 articles
1 article
available
not available
Based on funding mandates
Co-authors
Gerhard LakemeyerProfessor of Computer Science, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Tim NiemuellerIntrinsic InnovationVerified email at intrinsic.ai
Alexander FerreinProfessor of Robotics, Mobile Autonomous Systems & Cognitive Robotics Institute, FH AachenVerified email at fh-aachen.de
Tarik ViehmannPhD student at RWTH Aachen UniversityVerified email at rwth-aachen.de
Jens ClaßenRoskilde UniversityVerified email at ruc.dk
Stefan SchifferResearcher, RWTH Aachen University & FH Aachen University of Applied SciencesVerified email at cs.rwth-aachen.de
Vaishak BelleUniversity of EdinburghVerified email at ed.ac.uk
Tobias NeumannVerified email at neumann-web.eu
Daniel SwobodaDoctoral Researcher, RWTH AACHEN UNIVERSITYVerified email at ml.rwth-aachen.de
Hector GeffnerRWTH Aachen UniversityVerified email at upf.edu
Stefan SchuppFormal Verification @Apple