whitemech Goto Github PK

besyft

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

cpphoafparser

Repository mirror to the cpphoafparser project.

cudd

CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/

cynthia

SDD-based Forward LTLf Synthesis

doc2bib

finite-synthesis-datasets

Datasets for Finite Synthesis.

flloat

From LTLf/LDLf To Automata

fond4ltlf

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

fond4ltlfpltl_web

Website of FOND 4 LTLf / PLTLf

glucose

Repository mirror to the Glucose SAT solver.

grounding_ltlf_in_image_sequences

group-presentations

A brazen two-column theme for Jekyll.

gym-breakout-pygame

Gym Breakout environment using Pygame

gym-minecraft-pygame

OpenaAI Gym Minecraft-like environment implemented with Pygame

gym-sapientino

Implementation of the Sapientino environment using Gym.

hoa-utils

Utilities for the HOA format.

hoa-utils-web-app

A web app that provides some utilities for the HOA format.

imitation-learning-over-heterogeneous-agents-with-restraining-bolts

Imitation Learning over Heterogeneous Agents with Restraining Bolts

inferrer

An automata learning library written in Python.

lisa

This repository presents Lisa, which performs the following functions (a). An LTLf to DFA conversion tool, and (b) An LTLf synthesis tool.

logaut

LOGics formalisms to AUTomata

ltlf2dfa

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

lydia

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

lydia-web-app

Web app to interact with the Lydia tool.

lydiasyft

markov-abstractions-code-ijcai22

minisat

A minimalistic and high-performance SAT solver

mona

MONA - a decision procedure for monadic second-order logic on finite strings and trees

plan4past

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

plan4past-data