Repositories list

• BeSyft

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

  C++

  •

  MIT License

  •22 forks•00 stars•00 issues•00 pull requests•Updated Nov 13, 2025Nov 13, 2025

• gym-sapientino

  Public
  Implementation of the Sapientino environment using Gym.

  Python

  •

  GNU General Public License v3.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Jul 19, 2025Jul 19, 2025

• whitemech.github.io

  Public
  WhiteMech's website

  TeX

  •00 forks•44 stars•33 issues•11 pull request•Updated Mar 21, 2025Mar 21, 2025

• ltlf-synth-unrel-input-aaai2025

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

  C++

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 18, 2024Dec 18, 2024

• suffix-prediction-pmai2024

  Public
  Python

  •11 fork•11 star•00 issues•00 pull requests•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

  •11 fork•88 stars•11 issue•00 pull requests•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

  •33 forks•1616 stars•00 issues•00 pull requests•Updated Nov 3, 2024Nov 3, 2024

• LydiaSyft

  Public
  C++

  •

  GNU Affero General Public License v3.0

  •33 forks•33 stars•66 issues•11 pull request•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

  •33 forks•1919 stars•44 issues•44 pull requests•Updated Sep 5, 2024Sep 5, 2024

• mcts-state-merging-code-ecai24

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Aug 26, 2024Aug 26, 2024

• markov-abstractions-code-ijcai22

  Public
  Python

  •

  GNU General Public License v3.0

  •00 forks•22 stars•00 issues•00 pull requests•Updated May 6, 2024May 6, 2024

• trace-alignment-benchmarks

  Public
  Benchmarks for the Trace Alignment repository

  Python

  •11 fork•22 stars•00 issues•00 pull requests•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

  •1212 forks•8080 stars•66 issues•66 pull requests•Updated Mar 20, 2024Mar 20, 2024

• tailor-publications.github.io

  Public
  TAILOR Bibbase webpage

  TeX

  •

  MIT License

  •141141 forks•00 stars•00 issues•00 pull requests•Updated Mar 15, 2024Mar 15, 2024

• pylogics

  Public
  A Python library for logic formalisms representation and manipulation.

  ltlldlfltlf+ 5

  ltlldlfltlfpltlpltlfldlpldlfpldl

  Python

  •

  MIT License

  •55 forks•1616 stars•88 issues•00 pull requests•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

  •88 forks•5959 stars•1414 issues•00 pull requests•Updated Jan 17, 2024Jan 17, 2024

• Plan4Past-data

  Public
  PDDL

  •

  GNU Lesser General Public License v3.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Dec 7, 2023Dec 7, 2023

• grounding_LTLf_in_image_sequences

  Public
  Python

  •00 forks•33 stars•00 issues•00 pull requests•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

  •77 forks•2323 stars•1212 issues•22 pull requests•Updated Sep 22, 2023Sep 22, 2023

• logaut

  Public
  LOGics formalisms to AUTomata

  Python

  •

  GNU Lesser General Public License v3.0

  •22 forks•1111 stars•11 issue•1010 pull requests•Updated Sep 8, 2023Sep 8, 2023

• VisualRewardMachine

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•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

  •00 forks•00 stars•00 issues•00 pull requests•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

  •22 forks•88 stars•00 issues•00 pull requests•Updated Jul 30, 2023Jul 30, 2023

• glucose

  Public
  Repository mirror to the Glucose SAT solver.

  C++

  •

  Other

  •00 forks•22 stars•00 issues•00 pull requests•Updated May 11, 2023May 11, 2023

• fond4ltlfpltl_web

  Public
  Website of FOND 4 LTLf / PLTLf

  JavaScript

  •00 forks•33 stars•00 issues•22 pull requests•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

  •00 forks•00 stars•44 issues•00 pull requests•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

  •44 forks•1111 stars•55 issues•1313 pull requests•Updated Mar 6, 2023Mar 6, 2023

• finite-synthesis-datasets

  Public
  Datasets for Finite Synthesis.

  Python

  •

  MIT License

  •11 fork•11 star•00 issues•00 pull requests•Updated Feb 16, 2023Feb 16, 2023

• gym-breakout-pygame

  Public
  Gym Breakout environment using Pygame

  reinforcement-learningpygamebreakout+ 1

  reinforcement-learningpygamebreakoutgym-environment

  Python

  •

  MIT License

  •11 fork•22 stars•44 issues•55 pull requests•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

  •00 forks•44 stars•33 issues•22 pull requests•Updated Jan 15, 2023Jan 15, 2023