46 Open source projects that are alternatives of or similar to safe-exploration

Party-based roguelike (open-source strategy-RPG game).

The Scenario Architect provides a lightweight graphical user interface that allows a straightforward realization and manipulation of concrete driving testing scenarios. Exemplary usecases are the validation of an online verification framework or training of an prediction algorithm.

A Type-Safe, Thread-Safe-ish approach to CoreData in Swift

Webviz-config plugins for subsurface data.

🛡 PHP functions smarten up to throw exceptions instead of returning false or triggering errors.

Sidekick Policy Learning for Active Visual Exploration (ECCV 2018)

No description or website provided.

A software pipeline using the Model Predictive Control method to drive a car around a virtual track.

Capture all information throughout your model's development in a reproducible way and tie results directly to the model code!

A Parallel Optimization Toolkit for Nonlinear Model Predictive Control (NMPC)

PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL

emhass: Energy Management for Home Assistant, is a Python module designed to optimize your home energy interfacing with Home Assistant.

Fast contact-implicit model-predictive control for robotic systems that make and break contact with their environments.

C++ implementation of Model Predictive Control(MPC)

Compile-time Swift dependency injection annotations

Yet another repo for the baxter collaboration task.

Contextual Bandits in R - simulation and evaluation of Multi-Armed Bandit Policies

🚁〰️ Drone SLAM project for Caltech's ME 134 Autonomy class.

Differential Dynamic Programming controller operating in OpenAI Gym environment.

Planning for robotic exploration based on forward simulation

"Safety-Critical Model Predictive Control with Discrete-Time Control Barrier Function" by J. Zeng, B. Zhang and K. Sreenath https://arxiv.org/abs/2007.11718

Autonomous control of an USV using Model Predictive Control

Shiny apps for interactive data analysis, visualization and modeling.

Gelöschte Artikel, Slices und Kategorien wiederherstellen

🎈 Simple reactive notebooks for Julia

Visualize and compare datasets, target values and associations, with one line of code.

Create HTML profiling reports from pandas DataFrame objects

This plugin completely moves the explored map and created pins to the server. As clients explore, they will send their explored areas to the server who will then distribute it to all connected clients. When a client joins, the server will synchronize the currently explored areas to the client. Pins are shared as well but default to false and nee…

Pytorch code for NeurIPS-20 Paper "Object Goal Navigation using Goal-Oriented Semantic Exploration"

Micvision package provide exploration and location for robot using navigation and cartographer packages

ts-toolbelt is the largest, and most tested type library available right now, featuring +200 utilities. Our type collection packages some of the most advanced mapped types, conditional types, and recursive types on the market.

List of resources about programming practices for writing safety-critical software.

Datagram Transport Layer Security (DTLS) client.

A component which applies guards to srcdoc iframes in order to provide a predictable and safe experience to the user. Complements the sandbox native iframe attribute.

A type-safe implementation for collections that cannot be empty. Life is too short for emptiness-checks!

Safety Verification of Deep Neural Networks

cargo-safety provides safety checks for Rust projects by finding all uses of unsafe code in dependencies.

SafetyDetect Sample provides many sample programs for your reference or usage.This example demonstrates how to integrate services provided by Safetydetect Kit, such as APPchecks, URLcheck, Userdetect, Wifidetect.

Open-source Circle of 6 with improved security and privacy features. PLEASE NOTE: For the new Circulo app please visit: https://gitlab.com/circuloapp/circulo-android

A multi-formalism, multi-solution model-checker centered on the language GAL

This repository contains code and writeups for projects and labs completed as a part of UDACITY's first of it's kind self driving car nanodegree program.

The Operator Splitting QP Solver

An automatic code generator for nonlinear model predictive control (NMPC) and the continuation/GMRES method (C/GMRES) based numerical solvers for NMPC

A collection of work using nonlinear model predictive control (NMPC) with discrete-time control Lyapunov functions (CLFs) and control barrier functions (CBFs)

Deep Neural Network architecture as a predictive optimal controller for {HVAC+Solar cell + battery} disturbance afflicted system vs classic Model Predictive Control

A toolkit for testing control and planning algorithm for car racing.