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

Rong Gu

Most reinforcement learning (RL) platforms use high-level programming languages, such as OpenAI Gymnasium using Python. These frameworks provide various API and benchmarks for test…