Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation.
Davide CorsiLuca MarzariAmeya PoreAlessandro FarinelliAlicia CasalsPaolo FioriniDiego Dall'AlbaPublished in: CoRR (2023)
Keyphrases
- formal verification
- reinforcement learning
- model checking
- model checker
- automated verification
- bounded model checking
- eye tracking
- function approximation
- temporal difference
- learning algorithm
- program slicing
- learning process
- symbolic model checking
- colorectal cancer
- markov decision processes
- optimal policy
- formal specification
- dynamic programming
- machine learning
- robot navigation
- learning capabilities
- markov decision process
- model free
- state space
- functional verification