Verification Of Autonomous Systems Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
autonomous systems
formal verification
verification
validation
View Professor Profile
Professor
Professor Profile
Alessio Lomuscio
Imperial College London United Kingdom
assurance of autonomous systems
verification of neural networks
verification of neuro-symbolic systems
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
autonomous systems
specification verification
verification
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
probabilistic verification
verification
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
autonomous systems
verification
validation
View Professor Profile
Professor
Professor Profile
Hanan Lutfiyya
Western University Canada
self-adaptive systems
self-managing systems
autonomic computing
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
automated verification
software verification
View Professor Profile
Professor
Professor Profile
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
automated verification testing
software verification
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
system verification
formal verification
View Professor Profile
Professor
Professor Profile
Sebastian Junges
Radboud University Netherlands
autonomous systems
formal verification
View Professor Profile
Professor
Professor Profile
Patrick Doherty
Linköping University Sweden
autonomous systems
intelligent autonomous systems
View Professor Profile
Professor
Professor Profile
Xujie Si
University of Toronto Canada
automated software verification
verification
View Professor Profile
Professor
Professor Profile
Ufuk Topcu
University of Texas at Austin United States of America
autonomous systems
design verification
View Professor Profile
Professor
Professor Profile
Kristi Morgansen
University of Washington United States of America
autonomous systems
autonomous vehicles
autonomous flight systems
View Professor Profile
Professor
Professor Profile
Stephen Smith
University of Waterloo Canada
autonomous systems
autonomous vehicles
View Professor Profile
Professor
Professor Profile
Randal Bryant
Carnegie Mellon University United States of America
software verification
formal verification
View Professor Profile
Professor
Professor Profile
David Dill
Stanford University United States of America
software verification
hardware verification
formal verification
View Professor Profile
Professor
Professor Profile
Eunsuk Kang
Carnegie Mellon University United States of America
autonomous systems
verification
View Professor Profile
Professor
Professor Profile
Elena Troubitsyna
KTH Royal Institute of Technology Sweden
autonomous systems
verification
View Professor Profile
Professor
Professor Profile
Mohammad Mousavi
King's College London United Kingdom
autonomous systems
verification
View Professor Profile
Professor
Professor Profile
Mae Seto
Dalhousie University Canada
autonomous systems
autonomous agents
View Professor Profile
First
Prev
Page 1 | 984 Results
Next