kristoferB / SPLinks
Sequence Planner
☆12Updated 8 years ago
Alternatives and similar repositories for SP
Users that are interested in SP are comparing it to the libraries listed below
Sorting:
- Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects☆14Updated 7 years ago
- FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.☆31Updated 4 years ago
- LTL2PDDL tool☆11Updated 8 years ago
- DEVSimPy – Visualize, Model, and Simulate Discrete Event Systems with Python.☆54Updated 3 weeks ago
- actor based framework for building event driven, distributed simulations☆47Updated last year
- A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.☆17Updated last month
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Updated last year
- Typesafe, purely functional Computational Intelligence☆124Updated 3 years ago
- Imandra ROS☆17Updated 4 years ago
- Specify and synthesize systems using symbolic algorithms☆52Updated last month
- An algorithm for parsing any planning problem in PDDL format☆14Updated 9 years ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆11Updated 10 months ago
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆37Updated 2 months ago
- Scala Library and Domain-Specific Language (DSL) for Modeling & Simulation☆76Updated 2 years ago
- GPU programming in Scala☆61Updated 13 years ago
- Python Bindings for the Probabilistic Model Checker Storm☆39Updated this week
- scala library for constructive solid geometry☆18Updated 3 weeks ago
- Temporal Logic Planning toolbox☆124Updated last month
- Synthesis Format Conversion Tool☆26Updated 2 months ago
- ☆15Updated 4 years ago
- Scripts for Lectures on Network Systems - Francesco Bullo☆16Updated 2 years ago
- PDDL+ planning through compilation to SMT☆52Updated 2 years ago
- SmalL bUt Complete GROne Synthesizer☆43Updated last year
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Updated 3 years ago
- PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated …☆161Updated last year
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆21Updated last year
- Repository of benchmarks for SYNTCOMP☆14Updated 4 months ago
- scafi (Scala with computational Fields): a Scala framework for Aggregate Computing☆35Updated this week
- A functional API for auction simulations☆13Updated 7 years ago
- Geometric operations on polytopes of any dimension☆84Updated 8 months ago