Založit si vlastní profil
Veřejný přístup
Zobrazit všechny13 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Gerhard LakemeyerProfessor of Computer Science, RWTH Aachen UniversityE-mailová adresa ověřena na: cs.rwth-aachen.de
- Tim NiemuellerIntrinsic InnovationE-mailová adresa ověřena na: intrinsic.ai
- Alexander FerreinProfessor of Robotics, Mobile Autonomous Systems & Cognitive Robotics Institute, FH AachenE-mailová adresa ověřena na: fh-aachen.de
- Tarik ViehmannPhD student at RWTH Aachen UniversityE-mailová adresa ověřena na: rwth-aachen.de
- Jens ClaßenRoskilde UniversityE-mailová adresa ověřena na: ruc.dk
- Stefan SchifferResearcher, RWTH Aachen University & FH Aachen University of Applied SciencesE-mailová adresa ověřena na: cs.rwth-aachen.de
- Vaishak BelleUniversity of EdinburghE-mailová adresa ověřena na: ed.ac.uk
- Tobias NeumannE-mailová adresa ověřena na: neumann-web.eu
- Daniel Maximilian SwobodaComputer Science Graduate Student, RWTH Aachen UniversityE-mailová adresa ověřena na: rwth-aachen.de
- Hector GeffnerRWTH Aachen UniversityE-mailová adresa ověřena na: upf.edu
- Stefan SchuppFormal Verification @Apple