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
- Planning through backpropagation using TensorFlow.☆16Oct 29, 2020Updated 5 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 5 months ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- OpenAI gym Environments for Quadrotor Control☆17Mar 6, 2019Updated 7 years ago
- A design automation framework to engineer decision diagrams yourself☆25Updated this week
- NIST transition-edge sensor (TES) data acquisition framework☆16Feb 24, 2026Updated last week
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- ☆10Aug 11, 2019Updated 6 years ago
- ☆11Jun 11, 2020Updated 5 years ago
- enuSpace plugin for Tensorflow (graphical logic block, flow programming)☆11Feb 6, 2020Updated 6 years ago
- OpenTitan FI formal verification framework☆16Aug 29, 2023Updated 2 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
- Julia Tutorial Materials for the Grid Science Tools☆42May 25, 2024Updated last year
- Analyze experimental data with Programming by Navigation☆17Feb 24, 2026Updated last week
- 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 11 months ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Scripts for Digital Design flow control.☆16Oct 30, 2025Updated 4 months ago
- Model of a PEM electrolyzer to be used in MPC☆13Sep 3, 2021Updated 4 years ago
- ☆10Feb 9, 2024Updated 2 years ago
- Python Data Audit☆12Jul 24, 2020Updated 5 years ago
- 3rd Eye Scene is a generalised visual debugger and debugging aid in the vein of rviz.☆10Feb 22, 2023Updated 3 years ago
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.☆10Dec 13, 2020Updated 5 years ago
- Contextual Bandit Spectral Representation Learner☆12Oct 25, 2022Updated 3 years ago
- Code and performance tests to demonstrate the COUNTLESS algorithm. https://medium.com/@willsilversmith/countless-high-performance-2x-down…☆10Oct 23, 2019Updated 6 years ago
- 不定期更新爬取各国网站的爬虫源码☆10Aug 15, 2018Updated 7 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- Anatomy of a powerhouse: SystemVerilog TPU based on Google TPU v1☆20Nov 9, 2025Updated 3 months ago
- LEC - Logic Equivalence Checking - Formal Verification☆33Updated this week
- An agent skill that guide AI agents to write Typst☆36Jan 31, 2026Updated last month
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- LetaBot for StarCraft 2☆10Dec 5, 2017Updated 8 years ago
- Dependency management for Matlab repositories☆12May 22, 2021Updated 4 years ago
- ☆11Oct 29, 2022Updated 3 years 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
- OpenCL based volume renderer for scalar fields.☆10Oct 27, 2023Updated 2 years ago