Safety-Critical Ergodic Exploration in Cluttered Environments via Control Barrier Functions.

Cameron Lerch Ethan Dong Ian Abraham

Published in: CoRR (2022)

Keyphrases

cluttered environments
safety critical
formal methods
control system
safety analysis
target tracking
fault tolerant
real time
artificial intelligence
computer vision
expert systems
software engineering
source code