Repositories list

• BeSyft

  Public
  BeSyft is a tool for symbolic best-effort synthesis with LTLf goals and assumptions

  C++

  •

  MIT License

  •2•0•0•0•Updated Nov 13, 2025Nov 13, 2025

• gym-sapientino

  Public
  Implementation of the Sapientino environment using Gym.

  Python

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Jul 19, 2025Jul 19, 2025

• whitemech.github.io

  Public
  WhiteMech's website

  TeX

  •0•4•3•1•Updated Mar 21, 2025Mar 21, 2025

• ltlf-synth-unrel-input-aaai2025

  Public
  Code accompanying the paper "LTLf Synthesis Under Reliable Input" at AAAI2025

  C++

  •0•0•0•0•Updated Dec 18, 2024Dec 18, 2024

• suffix-prediction-pmai2024

  Public
  Python

  •1•1•0•0•Updated Nov 4, 2024Nov 4, 2024

• DeepDFA

  Public
  Official repository for the paper "DeepDFA: Automata Learning through Neural Probabilistic Relaxations". Elena Umili and Roberto Capobianco. ECAI 2024.

  Python

  •1•8•1•0•Updated Nov 4, 2024Nov 4, 2024

• FOND4LTLf

  Public
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems

  planningpddldfa+ 4

  planningpddldfanon-determinismfondltlfpltlf

  PDDL

  •

  GNU Lesser General Public License v3.0

  •3•16•0•0•Updated Nov 3, 2024Nov 3, 2024

• LydiaSyft

  Public
  C++

  •

  GNU Affero General Public License v3.0

  •3•3•6•1•Updated Oct 24, 2024Oct 24, 2024

• Plan4Past

  Public
  Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals

  classical-planningautomated-planningppltl+ 2

  classical-planningautomated-planningppltlfond-planningtemporally-extended-goals

  Python

  •

  GNU Lesser General Public License v3.0

  •3•19•4•4•Updated Sep 5, 2024Sep 5, 2024

• mcts-state-merging-code-ecai24

  Public
  0•0•0•0•Updated Aug 26, 2024Aug 26, 2024

• markov-abstractions-code-ijcai22

  Public
  Python

  •

  GNU General Public License v3.0

  •0•2•0•0•Updated May 6, 2024May 6, 2024

• trace-alignment-benchmarks

  Public
  Benchmarks for the Trace Alignment repository

  Python

  •1•2•0•0•Updated Apr 28, 2024Apr 28, 2024

• LTLf2DFA

  Public
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)

  formuladfamona+ 3

  formuladfamonaltlfltlf2dfappltl

  Python

  •

  GNU Lesser General Public License v3.0

  •12•80•6•6•Updated Mar 20, 2024Mar 20, 2024

• tailor-publications.github.io

  Public
  TAILOR Bibbase webpage

  TeX

  •

  MIT License

  •141•0•0•0•Updated Mar 15, 2024Mar 15, 2024

• pylogics

  Public
  A Python library for logic formalisms representation and manipulation.

  ltlldlfltlf+ 5

  ltlldlfltlfpltlpltlfldlpldlfpldl

  Python

  •

  MIT License

  •5•16•8•0•Updated Jan 21, 2024Jan 21, 2024

• pythomata

  Public
  A Python package for automata theory.

  automatasymbolicnfa+ 12

  automatasymbolicnfaautomatondfaautomata-theorydfa-minimizationdeterministic-finite-automatadeterminizerdfa-construction+ 5

  Python

  •

  GNU Lesser General Public License v3.0

  •8•59•14•0•Updated Jan 17, 2024Jan 17, 2024

• Plan4Past-data

  Public
  PDDL

  •

  GNU Lesser General Public License v3.0

  •0•1•0•0•Updated Dec 7, 2023Dec 7, 2023

• grounding_LTLf_in_image_sequences

  Public
  Python

  •0•3•0•0•Updated Sep 29, 2023Sep 29, 2023

• lydia

  Public
  A tool for LDLf translation to DFA and for LDLf synthesis.

  synthesiscpp17dfa+ 4

  synthesiscpp17dfasynthesis-libraryldlfcpp17-librarylydia

  C++

  •

  GNU Lesser General Public License v3.0

  •7•23•12•2•Updated Sep 22, 2023Sep 22, 2023

• logaut

  Public
  LOGics formalisms to AUTomata

  Python

  •

  GNU Lesser General Public License v3.0

  •2•11•1•10•Updated Sep 8, 2023Sep 8, 2023

• VisualRewardMachine

  Public
  Python

  •0•0•0•0•Updated Aug 30, 2023Aug 30, 2023

• SymBA-star

  Public
  Mirror repository for SymBA* 2 (64bit) https://fai.cs.uni-saarland.de/torralba/software.html

  C

  •0•0•0•0•Updated Aug 17, 2023Aug 17, 2023

• TraceAligner

  Public
  Declarative Trace Alignment via Automated Planning

  automatabusiness-process-managementautomated-planning+ 3

  automatabusiness-process-managementautomated-planningldlfltlftrace-alignment

  Java

  •

  MIT License

  •2•8•0•0•Updated Jul 30, 2023Jul 30, 2023

• glucose

  Public
  Repository mirror to the Glucose SAT solver.

  C++

  •

  Other

  •0•2•0•0•Updated May 11, 2023May 11, 2023

• fond4ltlfpltl_web

  Public
  Website of FOND 4 LTLf / PLTLf

  JavaScript

  •0•3•0•2•Updated May 1, 2023May 1, 2023

• lydia-web-app

  Public
  Web app to interact with the Lydia tool.

  pythondockerautomata+ 8

  pythondockerautomatagplv3synthesistemporal-logicldlfltlfltlf2dfalydia+ 1

  JavaScript

  •

  GNU General Public License v3.0

  •0•0•4•0•Updated Mar 7, 2023Mar 7, 2023

• temprl

  Public
  Reinforcement Learning framework for Temporal Goals

  automatareinforcement-learningtemporal-logic+ 2

  automatareinforcement-learningtemporal-logictemporal-goalstemporal-constraints

  Python

  •

  GNU Lesser General Public License v3.0

  •4•11•5•13•Updated Mar 6, 2023Mar 6, 2023

• finite-synthesis-datasets

  Public
  Datasets for Finite Synthesis.

  Python

  •

  MIT License

  •1•1•0•0•Updated Feb 16, 2023Feb 16, 2023

• gym-breakout-pygame

  Public
  Gym Breakout environment using Pygame

  reinforcement-learningpygamebreakout+ 1

  reinforcement-learningpygamebreakoutgym-environment

  Python

  •

  MIT License

  •1•2•4•5•Updated Feb 11, 2023Feb 11, 2023

• cynthia

  Public
  SDD-based Forward LTLf Synthesis

  cpplinear-temporal-logicsdd+ 5

  cpplinear-temporal-logicsddand-or-graphsand-or-searchsentential-decision-diagramfinite-synthesistemporal-logics-on-finite-traces

  C++

  •

  GNU General Public License v3.0

  •0•4•3•2•Updated Jan 15, 2023Jan 15, 2023