WhiteMech

WhiteMech: White-box Self Programming Mechanisms

Rome, Italy

Pinned Repositories

flloat
From LTLf/LDLf To Automata
Language:Python21 3 84
FOND4LTLf
FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
Language:PDDL15 2 03
logaut
LOGics formalisms to AUTomata
Language:Python10 2 12
LTLf2DFA
From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
Language:Python66 3 209
lydia
A tool for LDLf translation to DFA and for LDLf synthesis.
Language:C++23 4 294
Plan4Past
Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
Language:Python16 2 82
pylogics
A Python library for logic formalisms representation and manipulation.
Language:Python10 2 95
pythomata
A Python package for automata theory.
Language:Python54 2 236
temprl
Reinforcement Learning framework for Temporal Goals
Language:Python11 2 74
TraceAligner
Declarative Trace Alignment via Automated Planning
Language:Java6 2 02

WhiteMech's Repositories

whitemech/LTLf2DFA
From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
Language:Python66 3 209
whitemech/pythomata
A Python package for automata theory.
Language:Python54 2 236
whitemech/lydia
A tool for LDLf translation to DFA and for LDLf synthesis.
Language:C++23 4 294
whitemech/Plan4Past
Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
Language:Python16 2 82
whitemech/FOND4LTLf
FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
Language:PDDL15 2 03
whitemech/temprl
Reinforcement Learning framework for Temporal Goals
Language:Python11 2 74
whitemech/logaut
LOGics formalisms to AUTomata
Language:Python10 2 12
whitemech/pylogics
A Python library for logic formalisms representation and manipulation.
Language:Python10 2 95
whitemech/TraceAligner
Declarative Trace Alignment via Automated Planning
Language:Java6 2 02
whitemech/cynthia
SDD-based Forward LTLf Synthesis
Language:C++4 2 60
whitemech/whitemech.github.io
WhiteMech's website
Language:TeX4 2 210
whitemech/fond4ltlfpltl_web
Website of FOND 4 LTLf / PLTLf
Language:JavaScript3 2 00
whitemech/LydiaSyft
Language:C++3 1 1
whitemech/DeepDFA
Official repository for the paper "DeepDFA: Automata Learning through Neural Probabilistic Relaxations". Elena Umili and Roberto Capobianco. ECAI 2024.
Language:Python2 3 00
whitemech/glucose
Repository mirror to the Glucose SAT solver.
Language:C++2 2 01
whitemech/grounding_LTLf_in_image_sequences
Language:Python2 2 00
whitemech/gym-breakout-pygame
Gym Breakout environment using Pygame
Language:Python2 2 41
whitemech/markov-abstractions-code-ijcai22
Language:Python2 2 0
whitemech/finite-synthesis-datasets
Datasets for Finite Synthesis.
Language:Python1 1 01
whitemech/gym-sapientino
Implementation of the Sapientino environment using Gym.
Language:Python1 2 0
whitemech/Plan4Past-data
Language:PDDL1 2 0
whitemech/suffix-prediction-pmai2024
Language:Python1 3 01
whitemech/trace-alignment-benchmarks
Benchmarks for the Trace Alignment repository
Language:Python1 1 01
whitemech/VisualRewardMachine
Language:Python0 2 00
whitemech/BeSyft
BeSyft is a tool for symbolic best-effort synthesis with LTLf goals and assumptions
1
whitemech/lydia-web-app
Web app to interact with the Lydia tool.
Language:JavaScript3 4
whitemech/mcts-state-merging-code-ecai24
whitemech/planutils
General library for setting up linux-based environments for developing, running, and evaluating planners.
Language:Python0 0
whitemech/SymBA-star
Mirror repository for SymBA* 2 (64bit) https://fai.cs.uni-saarland.de/torralba/software.html
Language:C1 0
whitemech/tailor-publications.github.io
TAILOR Bibbase webpage
Language:TeX0 0