Model checking, beyond safety shields, can pre-analyze sensor accuracy and guide multi-objective reward design via reward automata in RL for autonomous driving.
In: International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
1 Pith paper cite this work, alongside 55 external citations. Polarity classification is still indexing.
1
Pith paper citing it
55
external citations · OpenAlex
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.