Get my own profile
Public access
View all13 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
- Antonis PapachristodoulouUniversity of OxfordVerified email at eng.ox.ac.uk
- Kostas MargellosUniversity of OxfordVerified email at eng.ox.ac.uk
- Thom BadingsPhD Candidate, Radboud UniversityVerified email at ru.nl
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
- Pedro L. D. PeresUniversity of Campinas, BrazilVerified email at dt.fee.unicamp.br
- Adrien BanseICTEAM, UCLouvainVerified email at uclouvain.be
- Raphael JungersProfessor of Applied Mathematics, Université catholique de Louvain, ICTEAMVerified email at uclouvain.be
- Mauricio de OliveiraAdjunct Professor, University of California San DiegoVerified email at ucsd.edu
- Manuel Mazo Jr.Associate Professor at TU DelftVerified email at tudelft.nl
- Ashish R. HotaAssistant Professor, Indian Institute of Technology (IIT), KharagpurVerified email at ee.iitkgp.ac.in
- Daniel Jarne OrniaPostdoc Researcher, University of OxfordVerified email at cs.ox.ac.uk
- Sofie HaesaertElectrical Engineering Department, TU EindhovenVerified email at tue.nl
- Frederik Baymler MathiesenDelft University of TechnologyVerified email at baymler.com
- Luca LaurentiTU DelftVerified email at tudelft.nl
- Luke RickardDPhil candidate in AIMS CDT, Oxford UniversityVerified email at robots.ox.ac.uk
- Mykel J. KochenderferAssociate Professor, Stanford UniversityVerified email at stanford.edu
- Alexandros E. TzikasPh.D. Student, Stanford UniversityVerified email at stanford.edu
Follow