mkhaled87/pFaces-OmegaThreads
OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and a 2d simulator are provided.
Stars
12
Forks
2
Language
C++
License
—
Category
Last pushed
Nov 20, 2025
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/mkhaled87/pFaces-OmegaThreads"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
symforce-org/symforce
Fast symbolic computation, code generation, and nonlinear optimization for robotics
inducer/loopy
A code generator for array-based code on CPUs and GPUs
alphaville/optimization-engine
Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support
inducer/islpy
Python wrapper for isl, an integer set library
loco-3d/crocoddyl
Crocoddyl is an optimal control library for robot control under contact sequence. Its solver is...