Skip to main navigation
Skip to search
Skip to main content
The UWS Academic Portal Home
Help & FAQ
Link opens in a new tab
Search content at The UWS Academic Portal
Home
Profiles
Research units
Research output
Activities
Press/Media
Projects
Prizes
AI and the verification of autonomous systems
Kevin Leahy
,
Joanna Isabelle Olszewska
, Javier Ibanez-Guzman
, Michael Fisher
, Dejanira Araiza Illan
, Cristian-Ioan Vasile
, Matthew Cleaveland
Research output
:
Contribution to conference
›
Other
›
peer-review
2
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'AI and the verification of autonomous systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Artificial Intelligence
100%
Autonomous Systems
100%
Robotics
33%
Formal Methods
33%
Vulnerability
16%
Learning-based
16%
Classical Model
16%
Failure Mode
16%
Shared Understanding
16%
Foundation Models
16%
Planners
16%
Real-world Deployment
16%
Opacity
16%
Researcher-practitioner
16%
Model Learning
16%
Panel Discussion
16%
Generative AI
16%
Large Language Models
16%
Artificial Intelligence Architecture
16%
Robotic Deployment
16%
Industry Experts
16%
Invited Speakers
16%
Machine Learning Safety
16%
Distribution Shift
16%
Vision-Language Models
16%
Deployment Experiences
16%
Model Verification
16%
Verification Approach
16%
Collaborative Session
16%
Verification Challenges
16%
Deployment Error
16%
Computer Science
Autonomous System
100%
Artificial Intelligence
100%
Robotics
42%
Case Study
14%
Best Practice
14%
Fundamental Question
14%
Critical System
14%
Large Language Model
14%
Machine Learning
14%
Learning System
14%
Generative Artificial Intelligence
14%
Collaboration
14%
Persistence
14%
Foundation Model
14%
Vision-Language Model
14%