Model checking, beyond safety shields, can pre-analyze sensor accuracy and guide multi-objective reward design via reward automata in RL for autonomous driving.
Formal Aspects of Computing 32(2), pp
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LG 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!
Model checking, beyond safety shields, can pre-analyze sensor accuracy and guide multi-objective reward design via reward automata in RL for autonomous driving.