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