Mijn eigen profiel maken
Openbare toegang
Alles bekijken13 artikelen
1 artikel
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Gerhard LakemeyerProfessor of Computer Science, RWTH Aachen UniversityGeverifieerd e-mailadres voor cs.rwth-aachen.de
- Tim NiemuellerIntrinsic InnovationGeverifieerd e-mailadres voor intrinsic.ai
- Alexander FerreinProfessor of Robotics, Mobile Autonomous Systems & Cognitive Robotics Institute, FH AachenGeverifieerd e-mailadres voor fh-aachen.de
- Tarik ViehmannPhD student at RWTH Aachen UniversityGeverifieerd e-mailadres voor rwth-aachen.de
- Jens ClaßenRoskilde UniversityGeverifieerd e-mailadres voor ruc.dk
- Stefan SchifferResearcher, RWTH Aachen University & FH Aachen University of Applied SciencesGeverifieerd e-mailadres voor cs.rwth-aachen.de
- Vaishak BelleUniversity of EdinburghGeverifieerd e-mailadres voor ed.ac.uk
- Tobias NeumannGeverifieerd e-mailadres voor neumann-web.eu
- Daniel Maximilian SwobodaComputer Science Graduate Student, RWTH Aachen UniversityGeverifieerd e-mailadres voor rwth-aachen.de
- Hector GeffnerRWTH Aachen UniversityGeverifieerd e-mailadres voor upf.edu
- Stefan SchuppFormal Verification @Apple