fainekos

fainekos's Stars

• StanfordVL/OmniGibson

  OmniGibson: a platform for accelerating Embodied AI research built upon NVIDIA's Omniverse engine. Join our Discord for support: https://discord.gg/bccR5vGFEx

  Language:Python50451

• StanfordVL/bddl

  Language:Jupyter Notebook8310

• PredictiveIntelligenceLab/jaxpi

  Language:Python22048

• watakandai/specless

  SPECification Learning and Strategy Synthesis

  Language:Python3

• IntelLabs/PyTorchALFI

  Application Level Fault Injection for Pytorch

  Language:Python117

• bardhh/cbfkit

  Toolbox for Robotics Control

  Language:Python535

• pnnl/neuromancer

  Pytorch-based framework for solving parametric constrained optimization problems, physics-informed system identification, and parametric model predictive control.

  Language:Python912119

• hsr-project/general

  General discussions and Q&A on HSR simulator (OSS version)

  3

• andersonjwan/vscode-pyforel

  A PyFoReL language support extension for Visual Studio Code

  Language:TypeScript1

• verivital/nnv

  Neural Network Verification Software Tool

  Language:MATLAB11149

• cpslab-asu/psy-taliro

  Search-based test generation toolbox written in Python

  Language:Python72

• hemerson1/offline-glucose

  The code release for "Offline Reinforcement Learning for Safer Blood Glucose Control in People with Type 1 Diabetes".

  Language:Python159

• HumanCompatibleAI/overcooked_ai

  A benchmark environment for fully cooperative human-AI performance.

  Language:Jupyter Notebook708148

• hardikparwana/social-navigation

  Language:Jupyter Notebook1

• V2A2/StarV

  Event-driven Monitoring and Verification Codesign for Learning-enabled Cyber-Physical Systems

  Language:Python42

• vishnumenon/ermine-ai

  https://ermine.ai -- 100% client-side live audio transcription, powered by transformers.js

  Language:TypeScript31817

• osrf/icra2023_ros2_gz_tutorial

  ICRA 2023 tutorial on ROS 2 and the new Gazebo (MT28, ICC Capital Suite 14)

  Language:Dockerfile22333

• nasa/astrobee

  NASA Astrobee Robot Software

  Language:C++1.1k312

• hekmatnejad/CPS-LAB-ASU

  Here I post the list of other code-based an software tools that I have developed or participated in them.

  1

• hekmatnejad/STQL_Convex_Spatial_Wrapper

  Spatio-Temporal Quality Logic can use Cilantro library for its 2D and 3D spatial operations of convex polyhedra.

  Language:C++1

• hekmatnejad/mvlModelCheker

  Multi Valued Logic Model Checker

  1

• AAIR-lab/Joint_Communication_Motion_Planning

  Language:Python1

• anand-bala/PerceMon

  Online monitoring for perception systems using Spatio-Temporal Quality Logic

  Language:C++22

• RobotLocomotion/drake

  Model-based design and verification for robotics.

  Language:C++3.3k1.3k

• k1majd/NNRepLayer

  Safe Robot Learning in Assistive Devices through Neural Network Repair

  Language:Python3

• DaitTan/NNRepLayer

  Language:Jupyter Notebook21

• k1majd/CBF_TB_RRT

  Language:MATLAB73

• asalimil/NMPC-LBF

  Language:Python82

• sriram0339/notebooks

  Language:Jupyter Notebook56

• sriram0339/LettucePlaygroundScala

  Language:Scala71