wuga214 / PAPER_NIPS17_ScalablePlanning_TensorflowView external linksLinks
Tensorflow is not only an well designed deep learning toolbox, but also a standard symbolic programming framework. In this repository, we show how to use tensorflow to do classical planning task on deterministic, continous action, continous space problems.
☆12Oct 15, 2018Updated 7 years ago
Alternatives and similar repositories for PAPER_NIPS17_ScalablePlanning_Tensorflow
Users that are interested in PAPER_NIPS17_ScalablePlanning_Tensorflow are comparing it to the libraries listed below
Sorting:
- The code of paper "Nonlinear Hybrid Planning with Deep Net Learned Transition Models and Mixed-Integer Linear Programming." published on …☆10Apr 27, 2018Updated 7 years ago
- Source for Action Schema Networks paper (AAAI'18)☆32Apr 6, 2023Updated 2 years ago
- Generate taylored code for Differential Dynamic Programming (DDP) aka Iterative Linear Quadratic Gaussian (iLQG) solvers for finite time …☆15Mar 27, 2018Updated 7 years ago
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆18Sep 17, 2025Updated 4 months ago
- Planning through backpropagation using TensorFlow.☆16Oct 29, 2020Updated 5 years ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- OpenAI gym Environments for Quadrotor Control☆17Mar 6, 2019Updated 6 years ago
- A design automation framework to engineer decision diagrams yourself☆25Updated this week
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- NIST transition-edge sensor (TES) data acquisition framework☆14Feb 2, 2026Updated last week
- ☆10Aug 11, 2019Updated 6 years ago
- 3rd Eye Scene is a generalised visual debugger and debugging aid in the vein of rviz.☆10Feb 22, 2023Updated 2 years ago
- enuSpace plugin for Tensorflow (graphical logic block, flow programming)☆11Feb 6, 2020Updated 6 years ago
- Julia Tutorial Materials for the Grid Science Tools☆42May 25, 2024Updated last year
- Code and performance tests to demonstrate the COUNTLESS algorithm. https://medium.com/@willsilversmith/countless-high-performance-2x-down…☆10Oct 23, 2019Updated 6 years ago
- An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.☆13Aug 31, 2018Updated 7 years ago
- Scripts for Digital Design flow control.☆16Oct 30, 2025Updated 3 months ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- Model of a PEM electrolyzer to be used in MPC☆13Sep 3, 2021Updated 4 years ago
- Python Data Audit☆12Jul 24, 2020Updated 5 years ago
- OpenTitan FI formal verification framework☆15Aug 29, 2023Updated 2 years ago
- Contextual Bandit Spectral Representation Learner☆12Oct 25, 2022Updated 3 years ago
- 不定期更新爬取各国网站的爬虫源码☆10Aug 15, 2018Updated 7 years ago
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.☆10Dec 13, 2020Updated 5 years ago
- ☆11Jun 11, 2020Updated 5 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-c…☆40Mar 24, 2025Updated 10 months ago
- ☆10Feb 9, 2024Updated 2 years ago
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated last month
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 10 months ago
- Simple online editor of math formulas based on LaTeX syntax. Contains table of popular equations and chars for easy work with it to help …☆10Sep 13, 2019Updated 6 years ago
- A python implementation of tile coding using numpy.☆11May 13, 2017Updated 8 years ago
- This is the data of two integrated energy systems.☆10Dec 31, 2020Updated 5 years ago
- Simulation of utility tokens for trading renewable energy in urban slum communities. Agent-based model (ABM)☆12Sep 22, 2018Updated 7 years ago
- EfficientUnet☆10Oct 26, 2020Updated 5 years ago
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 6 months ago
- OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.☆21Jul 24, 2025Updated 6 months ago
- An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level framework…☆15Jan 6, 2026Updated last month