Giters

lrhammond / sdsrl

Safe Deep Symbolic Reinforcement Learning

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

reinforcement-learningsafetysymbolicverification

Safe Deep Symbolic Reinforcement Learning

Incomplete and in progress

About

Safe Deep Symbolic Reinforcement Learning

reinforcement-learningsafetysymbolicverification

License:MIT License

Languages

Language:Python 52.7%Language:Prolog 29.1%Language:HTML 16.7%Language:JavaScript 0.5%Language:CSS 0.4%Language:Jupyter Notebook 0.3%Language:C++ 0.3%Language:Makefile 0.1%Language:Shell 0.0%Language:Batchfile 0.0%