PROMELA/SPIN model that simulates an agent navigating 2D labyrinths with walls, keys, and doors, and formally verifies the environment for future Reinforcement Learning Training
reinforcement-learning ltl rl promela spin environment-validation ltl-properties rl-validation state-explosion
-
Updated
Sep 23, 2025 - Python