Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 146 | 139 |
h-index | 7 | 7 |
i10-indeks | 7 | 6 |
Offentlig adgang
Se alle13 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerificeret mail på cs.ox.ac.uk
- Antonis PapachristodoulouUniversity of OxfordVerificeret mail på eng.ox.ac.uk
- Kostas MargellosUniversity of OxfordVerificeret mail på eng.ox.ac.uk
- Thom BadingsPhD Candidate, Radboud UniversityVerificeret mail på ru.nl
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerificeret mail på rub.de
- Pedro L. D. PeresUniversity of Campinas, BrazilVerificeret mail på dt.fee.unicamp.br
- Adrien BanseICTEAM, UCLouvainVerificeret mail på uclouvain.be
- Raphael JungersProfessor of Applied Mathematics, Université catholique de Louvain, ICTEAMVerificeret mail på uclouvain.be
- Mauricio de OliveiraAdjunct Professor, University of California San DiegoVerificeret mail på ucsd.edu
- Manuel Mazo Jr.Associate Professor at TU DelftVerificeret mail på tudelft.nl
- Ashish R. HotaAssistant Professor, Indian Institute of Technology (IIT), KharagpurVerificeret mail på ee.iitkgp.ac.in
- Daniel Jarne OrniaPostdoc Researcher, University of OxfordVerificeret mail på cs.ox.ac.uk
- Sofie HaesaertElectrical Engineering Department, TU EindhovenVerificeret mail på tue.nl
- Frederik Baymler MathiesenDelft University of TechnologyVerificeret mail på baymler.com
- Luca LaurentiTU DelftVerificeret mail på tudelft.nl
- Luke RickardDPhil candidate in AIMS CDT, Oxford UniversityVerificeret mail på robots.ox.ac.uk
- Mykel J. KochenderferAssociate Professor, Stanford UniversityVerificeret mail på stanford.edu
- Alexandros E. TzikasPh.D. Student, Stanford UniversityVerificeret mail på stanford.edu
Følg