Skip to content
@whitemech

WhiteMech

WhiteMech: White-box Self Programming Mechanisms

Pinned Loading

  1. lydia lydia Public

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

    C++ 23 4

  2. LTLf2DFA LTLf2DFA Public

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

    Python 67 9

  3. Plan4Past Plan4Past Public

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

    Python 16 2

  4. pythomata pythomata Public

    A Python package for automata theory.

    Python 54 6

  5. temprl temprl Public

    Reinforcement Learning framework for Temporal Goals

    Python 11 4

  6. TraceAligner TraceAligner Public

    Declarative Trace Alignment via Automated Planning

    Java 6 2

Repositories

Showing 10 of 44 repositories
  • whitemech/suffix-prediction-pmai2024’s past year of commit activity
    Python 1 1 0 0 Updated Nov 4, 2024
  • DeepDFA Public

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

    whitemech/DeepDFA’s past year of commit activity
    Python 2 0 0 0 Updated Nov 4, 2024
  • FOND4LTLf Public

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

    whitemech/FOND4LTLf’s past year of commit activity
    PDDL 15 LGPL-3.0 3 0 0 Updated Nov 3, 2024
  • whitemech/LydiaSyft’s past year of commit activity
    C++ 3 AGPL-3.0 2 1 0 Updated Oct 24, 2024
  • Plan4Past Public

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

    whitemech/Plan4Past’s past year of commit activity
    Python 16 LGPL-3.0 2 4 (1 issue needs help) 4 Updated Sep 5, 2024
  • whitemech/mcts-state-merging-code-ecai24’s past year of commit activity
    0 0 0 0 Updated Aug 26, 2024
  • whitemech.github.io Public

    WhiteMech's website

    whitemech/whitemech.github.io’s past year of commit activity
    TeX 4 0 3 1 Updated Aug 1, 2024
  • whitemech/markov-abstractions-code-ijcai22’s past year of commit activity
    Python 2 GPL-3.0 0 0 0 Updated May 6, 2024
  • trace-alignment-benchmarks Public

    Benchmarks for the Trace Alignment repository

    whitemech/trace-alignment-benchmarks’s past year of commit activity
    Python 1 1 0 0 Updated Apr 28, 2024
  • gym-sapientino Public

    Implementation of the Sapientino environment using Gym.

    whitemech/gym-sapientino’s past year of commit activity
    Python 1 GPL-3.0 0 0 0 Updated Apr 9, 2024