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
gym-minecraft-pygame
OpenaAI Gym Minecraft-like environment implemented with 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
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.
SymBA-star
Mirror repository for SymBA* 2 (64bit) https://fai.cs.uni-saarland.de/torralba/software.html
tailor-publications.github.io
TAILOR Bibbase webpage