Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation.

Davide Corsi Enrico Marchesini Alessandro Farinelli Paolo Fiorini

Published in: IRC (2020)

Keyphrases

formal verification
reinforcement learning
model checking
model checker
automated verification
bounded model checking
symbolic model checking
model free
learning algorithm
function approximation
temporal logic
optimal policy
program slicing
finite state
trajectory data
moving objects
functional verification