notesum.ai

Published at November 21

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!

cs.LO

Released Date: November 21, 2024

Authors: Rong Gu¹

Aff.: ¹Malardalen University, Vasteras, Sweden

Arxiv: http://arxiv.org/abs/2411.14375v1