LOGics formalisms to AUTomata
☆11Sep 8, 2023Updated 3 years ago
Alternatives and similar repositories for logaut
Users that are interested in logaut are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Python library for logic formalisms representation and manipulation.☆16Jan 21, 2024Updated 2 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆24Sep 22, 2023Updated 3 years ago
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 3 years ago
- From LTLf/LDLf To Automata☆23Aug 17, 2020Updated 6 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆17Nov 3, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Yet another Python project template.☆13Sep 13, 2024Updated 2 years ago
- A library for generating automata from LTL and LDL formulas with finite-trace semantics.☆11Dec 14, 2021Updated 4 years ago
- From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)☆84Oct 30, 2026Updated last week
- A Python package for automata theory.☆60Jan 17, 2024Updated 2 years ago
- Accompanying code for "Learning and Planning in Average-Reward Markov Decision Processes"☆15Feb 10, 2021Updated 5 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆21Sep 19, 2026Updated last month
- C++ implementation of PatchMatch Stereo for images☆15Jun 12, 2020Updated 6 years ago
- Bayesian Ontology Reasoner☆19Apr 24, 2026Updated 6 months ago
- Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…☆18Nov 23, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Tableau-based reasoner for ALCQ description logic☆13May 1, 2020Updated 6 years ago
- Code for Data Collection & Training in Sim+Real Envs: [RSS 2024] Natural Language Can Help Bridge the Sim2Real Gap☆10Oct 25, 2025Updated last year
- LaTeX class for the accepted standard for theses and dissertations at PPGCC/PUCRS Brazil☆21Jun 13, 2025Updated last year
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 11 years ago
- A no-frills Racket macro library to extend ffi/unsafe with C++ compatibility.☆10Feb 5, 2020Updated 6 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆61Mar 3, 2020Updated 6 years ago
- VI-RPE: Visual-Inertial Relative Pose Estimation for Aerial Vehicles☆11Oct 10, 2018Updated 8 years ago
- ☆10Jul 6, 2023Updated 3 years ago
- ☆14Sep 21, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Make it easy to specify simple MDPs that are compatible with the OpenAI Gym.☆40Jan 23, 2023Updated 3 years ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- Exponential control barrier function for Quadrotors☆10Sep 27, 2019Updated 7 years ago
- Hanoi Omega-Automata Format☆16Nov 20, 2022Updated 3 years ago
- ☆15Aug 11, 2026Updated 2 months ago
- Probabilistic Roadmap Planner with VREP Simulation for LocoBot☆10Jun 16, 2019Updated 7 years ago
- This repository generates process mining event log features. Most of the features have been extracted from several process mining scienti…☆14Oct 28, 2021Updated 5 years ago
- PostgreSQL-compatible TPC-H benchmark, with wrapper scripts for populating data and evaluating performance☆30Jun 28, 2016Updated 10 years ago
- ☆14Sep 29, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Non-official implementation of paper "In-context Reinforcement Learning with Algorithm Distillation"☆13Aug 15, 2024Updated 2 years ago
- Source to "Binding as Sets of Scopes"☆10May 4, 2016Updated 10 years ago
- Code for the paper Dynamics Generalisation in Reinforcement Learning via Adaptive Context-Aware Policies (NeurIPS 2023). https://arxiv.or…☆15Nov 21, 2023Updated 2 years ago
- A Constraint Solver☆11Dec 4, 2015Updated 10 years ago
- My personal Racket library of useful or generic commands☆11Feb 14, 2025Updated last year
- Embed Python in Racket!☆12Feb 1, 2022Updated 4 years ago
- Scaling safe exploration to vision control☆15Feb 19, 2025Updated last year