Get my own profile
Public access
View all12 articles
2 articles
available
not available
Based on funding mandates
Co-authors
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
- Licio RomaoPostdoctoral Researcher, Stanford UniversityVerified email at stanford.edu
- Hasan A PoonawalaAssistant Professor of Mechanical Engineering, University of KentuckyVerified email at g.uky.edu
- Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
- Jacquelien M.A. ScherpenUniversity of GroningenVerified email at rug.nl
- David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
- Vahab RostampourSenior Scientist @ UBSVerified email at ubs.com
- Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityVerified email at science.ru.nl
- Murat CubuktepeUniversity of Texas at AustinVerified email at utexas.edu
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyVerified email at tue.nl
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyVerified email at tue.nl
- Arnd HartmannsUniversity of TwenteVerified email at utwente.nl