whitemech/markov-abstractions-code-ijcai22

Language: Python - Size: 188 KB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 2 - Forks: 0

whitemech/trace-alignment-benchmarks

Benchmarks for the Trace Alignment repository

Language: Python - Size: 23.3 MB - Last synced: 14 days ago - Pushed: 14 days ago - Stars: 1 - Forks: 0

whitemech/LydiaSyft

Language: C++ - Size: 3.65 MB - Last synced: 27 days ago - Pushed: 27 days ago - Stars: 1 - Forks: 0

whitemech/LTLf2DFA

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

Language: Python - Size: 1.51 MB - Last synced: 19 days ago - Pushed: about 2 months ago - Stars: 57 - Forks: 8

whitemech/pythomata

A Python package for automata theory.

Language: Python - Size: 6.07 MB - Last synced: 27 days ago - Pushed: 4 months ago - Stars: 50 - Forks: 5

whitemech/flloat 📦

From LTLf/LDLf To Automata

Language: Python - Size: 6.04 MB - Last synced: 27 days ago - Pushed: over 3 years ago - Stars: 20 - Forks: 4

whitemech/gym-sapientino

Implementation of the Sapientino environment using Gym.

Language: Python - Size: 6.43 MB - Last synced: 3 days ago - Pushed: about 1 month ago - Stars: 1 - Forks: 0

whitemech/pylogics

A Python library for logic formalisms representation and manipulation.

Language: Python - Size: 740 KB - Last synced: 19 days ago - Pushed: 4 months ago - Stars: 10 - Forks: 4

whitemech/whitemech.github.io

WhiteMech's website

Language: TeX - Size: 256 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 4 - Forks: 0

whitemech/Plan4Past

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

Language: Python - Size: 62 MB - Last synced: 27 days ago - Pushed: 3 months ago - Stars: 14 - Forks: 1

whitemech/FOND4LTLf

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

Language: Python - Size: 1.75 MB - Last synced: 19 days ago - Pushed: about 1 year ago - Stars: 12 - Forks: 2

whitemech/Plan4Past-data

Language: PDDL - Size: 3.66 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

whitemech/VisualRewardMachine

Language: Python - Size: 188 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

whitemech/SymBA-star

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

Language: C - Size: 1.68 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

whitemech/grounding_LTLf_in_image_sequences

Language: Python - Size: 49.8 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 1 - Forks: 0

whitemech/logaut

LOGics formalisms to AUTomata

Language: Python - Size: 915 KB - Last synced: 10 days ago - Pushed: 8 months ago - Stars: 10 - Forks: 2

whitemech/glucose

Repository mirror to the Glucose SAT solver.

Language: C++ - Size: 198 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 2 - Forks: 1

whitemech/hoa-utils

Utilities for the HOA format.

Language: Python - Size: 542 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 6 - Forks: 1

whitemech/temprl

Reinforcement Learning framework for Temporal Goals

Language: Python - Size: 1.65 MB - Last synced: 15 days ago - Pushed: about 1 year ago - Stars: 11 - Forks: 4

whitemech/lydia

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

Language: C++ - Size: 1.22 MB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 15 - Forks: 4

whitemech/DeepDFA

Official repository for the paper "DeepDFA: a transparent neural network design for DFA induction" under review for the Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD23)

Language: Python - Size: 2.35 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

whitemech/TraceAligner

Language: Java - Size: 7.61 MB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 3 - Forks: 1

whitemech/finite-synthesis-datasets

Datasets for Finite Synthesis.

Language: Python - Size: 1.51 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 2 - Forks: 0

whitemech/cynthia

SDD-based Forward LTLf Synthesis

Language: C++ - Size: 460 KB - Last synced: 12 months ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0

whitemech/fond4ltlfpltl_web

Website of FOND 4 LTLf / PLTLf

Language: JavaScript - Size: 71.2 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 2 - Forks: 0

whitemech/planutils Fork of AI-Planning/planutils

General library for setting up linux-based environments for developing, running, and evaluating planners.

Language: Python - Size: 234 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

whitemech/gym-breakout-pygame

Gym Breakout environment using Pygame

Language: Python - Size: 6 MB - Last synced: 16 days ago - Pushed: about 1 year ago - Stars: 2 - Forks: 1

whitemech/tailor-publications.github.io Fork of BibBase/bibbase.github.io

TAILOR Bibbase webpage

Language: TeX - Size: 2.13 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

whitemech/Syft Fork of Shufang-Zhu/Syft

Synthesizer of LTLf formula

Language: C++ - Size: 265 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 4 - Forks: 1

whitemech/gym-minecraft-pygame

OpenaAI Gym Minecraft-like environment implemented with Pygame

Language: Python - Size: 5.36 MB - Last synced: 17 days ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1

whitemech/doc2bib

Language: Python - Size: 15.6 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

whitemech/lisa Fork of vardigroup/lisa

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

Language: C++ - Size: 216 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

whitemech/lydia-web-app

Web app to interact with the Lydia tool.

Language: JavaScript - Size: 2.69 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

whitemech/MONA Fork of cs-au-dk/MONA

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

Language: C - Size: 1.43 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0

whitemech/cudd Fork of KavrakiLab/cudd

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

Language: C - Size: 2.31 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

whitemech/inferrer Fork of steynvl/inferrer

An automata learning library written in Python.

Language: Python - Size: 560 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

whitemech/hoa-utils-web-app

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

Language: JavaScript - Size: 461 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 2 - Forks: 0

whitemech/group-presentations Fork of poole/hyde

A brazen two-column theme for Jekyll.

Language: CSS - Size: 132 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

whitemech/minisat Fork of Udopia/minisat

A minimalistic and high-performance SAT solver

Language: C++ - Size: 349 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

whitemech/cpphoafparser

Repository mirror to the cpphoafparser project.

Language: C++ - Size: 78.1 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

whitemech/Imitation-Learning-over-Heterogeneous-Agents-with-Restraining-Bolts

Imitation Learning over Heterogeneous Agents with Restraining Bolts

Language: Python - Size: 5.73 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0