GitHub repository: Kiarahmani/ltl-cegis
Primary language: Python
Description: Introductory code for CEGIS for LTL properties applied to Robotics safety and liveness properties