Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Formal verification of deep reinforcement learning agents
Edoardo Bacci
Computer Science
Research output
:
Thesis
›
Doctoral Thesis
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Formal verification of deep reinforcement learning agents'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Formal verification
100%
Reinforcement learning
85%
Controllers
46%
Uncertainty
44%
Actuators
21%
Observability
15%
Testing
14%
Computer hardware
8%
Sensors
7%