自分のプロフィールを作成
オープン アクセス
すべて表示13 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UK確認したメール アドレス: cs.ox.ac.uk
- Antonis PapachristodoulouUniversity of Oxford確認したメール アドレス: eng.ox.ac.uk
- Kostas MargellosUniversity of Oxford確認したメール アドレス: eng.ox.ac.uk
- Thom BadingsPhD Candidate, Radboud University確認したメール アドレス: ru.nl
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum確認したメール アドレス: rub.de
- Pedro L. D. PeresUniversity of Campinas, Brazil確認したメール アドレス: dt.fee.unicamp.br
- Adrien BanseICTEAM, UCLouvain確認したメール アドレス: uclouvain.be
- Raphael JungersProfessor of Applied Mathematics, Université catholique de Louvain, ICTEAM確認したメール アドレス: uclouvain.be
- Mauricio de OliveiraAdjunct Professor, University of California San Diego確認したメール アドレス: ucsd.edu
- Manuel Mazo Jr.Associate Professor at TU Delft確認したメール アドレス: tudelft.nl
- Ashish R. HotaAssistant Professor, Indian Institute of Technology (IIT), Kharagpur確認したメール アドレス: ee.iitkgp.ac.in
- Daniel Jarne OrniaPostdoc Researcher, University of Oxford確認したメール アドレス: cs.ox.ac.uk
- Sofie HaesaertElectrical Engineering Department, TU Eindhoven確認したメール アドレス: tue.nl
- Frederik Baymler MathiesenPhD student in probabilistic ML, Delft University of Technology確認したメール アドレス: baymler.com
- Luca LaurentiTU Delft確認したメール アドレス: tudelft.nl
- Luke RickardDPhil candidate in AIMS CDT, Oxford University確認したメール アドレス: robots.ox.ac.uk
- Mykel J. KochenderferAssociate Professor, Stanford University確認したメール アドレス: stanford.edu
- Alexandros E. TzikasPh.D. Student, Stanford University確認したメール アドレス: stanford.edu