Alternatives and similar repositories for artificial-pancreas-simulator:

Users that are interested in artificial-pancreas-simulator are comparing it to the libraries listed below

• jxx123 / simglucose
  A Type-1 Diabetes simulator implemented in Python for Reinforcement Learning purpose
  ☆256Updated 2 months ago
• petejacobs / T1D_VPP
  Virtual patient population of people with type 1 diabetes
  ☆11Updated 5 years ago
• Guiliang / uTree_mimic_mountain_car
  ☆8Updated last year
• causalincentives / pycid
  Library for graphical models of decision making, based on pgmpy and networkx
  ☆101Updated last year
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated last week
• neurosymbolic-learning / Neurosymbolic_Tutorial
  Python notebooks for a tutorial on neurosymbolic programming
  ☆64Updated 9 months ago
• IBM / vsrl-framework
  The Verifiably Safe Reinforcement Learning Framework
  ☆56Updated 3 years ago
• hemerson1 / offline-glucose
  The code release for "Offline Reinforcement Learning for Safer Blood Glucose Control in People with Type 1 Diabetes".
  ☆15Updated 2 years ago
• alexeyignatiev / minds
  SAT-based miner of smallest size decision sets
  ☆12Updated 4 years ago
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆22Updated 2 years ago
• RL4H / GluCoEnv
  GluCoEnv - Glucose Control Environment, is a simulation environment which aims to facilitate the development of Reinforcement Learning ba…
  ☆15Updated 4 months ago
• alexeyignatiev / xreason
  XReason - formal reasoning about explanations for ML models
  ☆16Updated last year
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆61Updated last year
• decyphir / breach
  ☆54Updated 7 months ago
• joschout / tilde
  Top-down induction of first-order logical decision trees: master AI thesis implementation
  ☆23Updated 4 years ago
• eve-mas / eve-parity
  Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…
  ☆19Updated 5 months ago
• fat-forensics / fat-forensics
  Modular Python Toolbox for Fairness, Accountability and Transparency Forensics
  ☆75Updated last year
• bunelr / GandRL_for_NPS
  Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
  ☆38Updated last year
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆94Updated last year
• ivegner / PyDSRL
  Faithful Python implementation of the paper "Towards Deep Symbolic Reinforcement Learning" by Garnelo et al.
  ☆13Updated 3 years ago
• ilaspltd / ILASP-releases
  ☆37Updated 2 months ago
• azreasoners / NeurASP
  ☆41Updated last year
• csfaculty / csfaculty.github.io
  Interview questions for Computer Science faculty jobs
  ☆39Updated 10 months ago
• marcofavorito / python-project-template
  Yet another Python project template.
  ☆13Updated 4 months ago
• Safe-RL-Team / viper-verifiable-rl-impl
  Implementation of the VIPER algorithm introduced in "Verifiable Reinforcement Learning via Policy Extraction" by Bastani et al.
  ☆12Updated last year
• reactive-systems / deepltl
  Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)
  ☆31Updated 2 years ago
• VinF / practical_sessions_RL
  ☆28Updated 2 years ago
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆170Updated this week
• jaromiru / sr-drl
  Implementation of Symbolic Relational Deep Reinforcement Learning based on Graph Neural Networks
  ☆25Updated last year
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆68Updated 10 months ago