Popular GitHub Repositories for Ltl

Deep Reinforcement Learning with LTL goals.

This project aims to synthesize realistic traffic scenarios from specifications in Temporal Logic. This work was done as part of my thesis @ TUM.

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