自分のプロフィールを作成
オープン アクセス
すべて表示12 件の論文
2 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum確認したメール アドレス: rub.de
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of Twente確認したメール アドレス: utwente.nl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UK確認したメール アドレス: cs.ox.ac.uk
- Licio RomaoPostdoctoral Researcher, Stanford University確認したメール アドレス: stanford.edu
- Hasan A PoonawalaAssistant Professor of Mechanical Engineering, University of Kentucky確認したメール アドレス: g.uky.edu
- Sebastian JungesAssistant Professor, Radboud University, Nijmegen確認したメール アドレス: ru.nl
- Jacquelien M.A. ScherpenUniversity of Groningen確認したメール アドレス: rug.nl
- David ParkerProfessor of Computer Science, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Vahab RostampourSenior Scientist @ UBS確認したメール アドレス: ubs.com
- Ufuk TopcuThe University of Texas at Austin確認したメール アドレス: utexas.edu
- Marnix SuilenPhD Candidate, Radboud University確認したメール アドレス: science.ru.nl
- Murat CubuktepeUniversity of Texas at Austin確認したメール アドレス: utexas.edu
- Matthias VolkAssistant Professor, Eindhoven University of Technology確認したメール アドレス: tue.nl
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twente確認したメール アドレス: cs.rwth-aachen.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of Technology確認したメール アドレス: tue.nl
- Arnd HartmannsUniversity of Twente確認したメール アドレス: utwente.nl