Skapa en profil
Offentlig åtkomst
Visa alla13 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Gerhard LakemeyerProfessor of Computer Science, RWTH Aachen UniversityVerifierad e-postadress på cs.rwth-aachen.de
- Tim NiemuellerIntrinsic InnovationVerifierad e-postadress på intrinsic.ai
- Alexander FerreinProfessor of Robotics, Mobile Autonomous Systems & Cognitive Robotics Institute, FH AachenVerifierad e-postadress på fh-aachen.de
- Tarik ViehmannPhD student at RWTH Aachen UniversityVerifierad e-postadress på rwth-aachen.de
- Jens ClaßenRoskilde UniversityVerifierad e-postadress på ruc.dk
- Stefan SchifferResearcher, RWTH Aachen University & FH Aachen University of Applied SciencesVerifierad e-postadress på cs.rwth-aachen.de
- Vaishak BelleUniversity of EdinburghVerifierad e-postadress på ed.ac.uk
- Tobias NeumannVerifierad e-postadress på neumann-web.eu
- Daniel Maximilian SwobodaComputer Science Graduate Student, RWTH Aachen UniversityVerifierad e-postadress på rwth-aachen.de
- Hector GeffnerRWTH Aachen UniversityVerifierad e-postadress på upf.edu
- Stefan SchuppFormal Verification @Apple