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 Maximilian SwobodaComputer Science Graduate Student, RWTH Aachen UniversityVerified email at rwth-aachen.de
- Hector GeffnerRWTH Aachen UniversityVerified email at upf.edu
- Stefan SchuppFormal Verification @Apple