Založit si vlastní profil
Veřejný přístup
Zobrazit všechny12 článků
2 články
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumE-mailová adresa ověřena na: rub.de
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteE-mailová adresa ověřena na: utwente.nl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKE-mailová adresa ověřena na: cs.ox.ac.uk
- Licio RomaoPostdoctoral Researcher, Stanford UniversityE-mailová adresa ověřena na: stanford.edu
- Hasan A PoonawalaAssistant Professor of Mechanical Engineering, University of KentuckyE-mailová adresa ověřena na: g.uky.edu
- Sebastian JungesAssistant Professor, Radboud University, NijmegenE-mailová adresa ověřena na: ru.nl
- Jacquelien M.A. ScherpenUniversity of GroningenE-mailová adresa ověřena na: rug.nl
- David ParkerProfessor of Computer Science, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Vahab RostampourSenior Scientist @ UBSE-mailová adresa ověřena na: ubs.com
- Ufuk TopcuThe University of Texas at AustinE-mailová adresa ověřena na: utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityE-mailová adresa ověřena na: science.ru.nl
- Murat CubuktepeUniversity of Texas at AustinE-mailová adresa ověřena na: utexas.edu
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyE-mailová adresa ověřena na: tue.nl
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteE-mailová adresa ověřena na: cs.rwth-aachen.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyE-mailová adresa ověřena na: tue.nl
- Arnd HartmannsUniversity of TwenteE-mailová adresa ověřena na: utwente.nl