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

Cameron Lerch Dayi Dong Ian Abraham

Published in: ICRA (2023)

Keyphrases

cluttered environments
safety critical
control system
safety analysis
embedded systems
formal methods
real time
tracking objects
agent architecture
artificial intelligence
decision making
target tracking