WhiteMech's repositories
TraceAligner
Declarative Trace Alignment via Automated Planning
whitemech.github.io
WhiteMech's website
fond4ltlfpltl_web
Website of FOND 4 LTLf / PLTLf
gym-breakout-pygame
Gym Breakout environment using Pygame
finite-synthesis-datasets
Datasets for Finite Synthesis.
gym-sapientino
Implementation of the Sapientino environment using Gym.
trace-alignment-benchmarks
Benchmarks for the Trace Alignment repository
BeSyft
BeSyft is a tool for symbolic best-effort synthesis with LTLf goals and assumptions
MIT000
lydia-web-app
Web app to interact with the Lydia tool.
planutils
General library for setting up linux-based environments for developing, running, and evaluating planners.
Language:PythonMIT000
SymBA-star
Mirror repository for SymBA* 2 (64bit) https://fai.cs.uni-saarland.de/torralba/software.html
tailor-publications.github.io
TAILOR Bibbase webpage
Language:TeXMIT000