iscar-ucm / xdevs
xDEVS: A cross-platform Discrete EVent System simulator
☆11Updated 5 months ago
Alternatives and similar repositories for xdevs:
Users that are interested in xdevs are comparing it to the libraries listed below
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆102Updated 2 years ago
- Automated Controller Synthesis☆15Updated 6 years ago
- ☆14Updated 3 years ago
- A simple option critic framework using Q-Learning☆12Updated 3 years ago
- a collection of Gymnasium environments for saturation provers☆20Updated last month
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆13Updated 10 months ago
- ☆11Updated 3 years ago
- Formal Language Tools for Robots☆13Updated 8 years ago
- LTL2PDDL tool☆9Updated 7 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Updated 3 months ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆10Updated 3 months ago
- Intrepyd Model Checker☆18Updated 3 years ago
- PyCOMPSs AutoParallel☆12Updated 4 years ago
- ☆15Updated last year
- Constraint-based Learning with Neural Networks☆14Updated 4 years ago
- This repository contains Python functions for predicting time series.☆13Updated 8 months ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Updated 4 years ago
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra☆9Updated this week
- SmalL bUt Complete GROne Synthesizer☆37Updated 6 months ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆19Updated 6 months ago
- Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl☆15Updated 6 months ago
- a list of StrongAI related resources.☆10Updated last year
- CDCL SAT-solver for GPUs☆11Updated 7 years ago
- ☆9Updated this week
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Updated 2 years ago
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆12Updated 7 years ago
- Repository for the HARDENS project☆21Updated 2 months ago
- A hardware model checker for hyperproperties☆18Updated 8 months ago
- Parallel SAT Solver☆10Updated 7 years ago