103 Open source projects that are alternatives of or similar to vsrl-framework

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

Frama-C and WP tutorial

Read-only mirror of the Klever Git repository

Intrepyd Model Checker

www.imandra.ai

An easy-to-use reinforcement learning library for research and education.

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

ML-AI Community | Open Source | Built in Bharat for the World | Data science problem statements and solutions

NMA deep learning course

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems

Matlab Interface for Control Barrier Function (CBF) and Control Lyapunov Function (CLF) based control methods.

Pytorch Implementation of RL algorithms

Deep Reinforcement Learning Algorithms implemented with Tensorflow 2.3

A Repository with C++ implementations of Reinforcement Learning Algorithms (Pytorch)

The Overture Tool

L2RPN Baselines a repository to host baselines for l2rpn competitions.

用深度强化学习玩合成大西瓜

Gym environments and agents for autonomous driving.

Deep Reinforcement Learning in Autonomous Driving: the A3C algorithm used to make a car learn to drive in TORCS; Python 3.5, Tensorflow, tensorboard, numpy, gym-torcs, ubuntu, latex

Collection of OpenAI parametrized action-space environments.

Python implementation of POMDP framework and PBVI & POMCP algorithms.

Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

Trying to verify Verilog/VHDL designs with formal methods and tools

A simple, continuous-control environment for OpenAI Gym

Fully proved small C functions (examples for verification course).

Reinforcement Learning in Vrep

The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.

A tool for Model Based Testing

Training (hopefully) safe agents in gridworlds

Jupyter notebooks for tutorial on the Z3 SMT solver

The MAGICAL benchmark suite for robust imitation learning (NeurIPS 2020)

Formalization of Tendermint proposer election properties

TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus

Comparison of bandit algorithms from the Reinforcement Learning bible.

A cryptographic library in SPARK 2014

Bourne shell, template engine, scripting language mission-critical, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development while, at the same time, providing easier designing, maintenance and bug removal. About 120.000 lines of code.

Solve BipedalWalkerHardcore-v2 with TD3

Modelica models integration with Open AI Gym

A framework for implementing and certifying impure computations in Coq

A script for running TLA+/TLC from the command line

Simulator for Reinforcement Learning and AI. 2D environments with physics and interactive entities. Agents with rich sensors and actuators.

xingtian is a componentized library for the development and verification of reinforcement learning algorithms

Learning Continuous Control in Deep Reinforcement Learning

Reads a state transition system and performs property checking

Simultaneous Navigation and Construction

AI4U is a multi-engine plugin (Unity and Godot) that allows you to specify agents with reinforcement learning visually. Non-Player Characters (NPCs) of games can be designed using ready-made components. In addition, AI4U has a low-level API that allows you to connect the agent to any algorithm made available in Python by the reinforcement learni…

Robotic simulation in Unity with ROS integration.

Solving board games like Connect4 using Deep Reinforcement Learning

No description or website provided.

Mxnet implementation of Deep Reinforcement Learning papers, such as DQN, PG, DDPG, PPO

Repository containing Robot Servers ROS packages

Train reinforcement learning agent using ML-Agents with Google Colab.

A core language for rule-based hardware design 🦑

Formal semantics of LLVM IR in K

Algebraic proof discovery in Agda

A Framework for Generating and Executing Digital Twins

Upside-Down Reinforcement Learning (⅂ꓤ) implementation in PyTorch. Based on the paper published by Jürgen Schmidhuber.

A collection of Reinforcement Learning GitHub code resources divided by frameworks and environments

Automated Schedule Generation for Time-Sensitive Networks (TSN).