https://github.com/adeelh/logic_rl

613 class project
https://github.com/adeelh/logic_rl

Last synced: about 1 year ago
JSON representation

613 class project

• Host: GitHub
• URL: https://github.com/adeelh/logic_rl
• Owner: AdeelH
• Created: 2019-12-17T20:34:41.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2019-12-20T20:53:01.000Z (over 6 years ago)
• Last Synced: 2025-01-30T14:34:56.080Z (over 1 year ago)
• Language: Python
• Size: 18.6 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
## Using Temporal Logic in Reinforcement Learning

We explore two possible applications of Temporal Logic (TL) to Reinforcement Learning (RL): TL-based controller verification and TL-based rewards. We conduct some experiments applying these ideas to RL problems and discuss where they may work better than the traditional RL approaches. 

### Requirements

This project uses [py-metric-temporal-logic](https://github.com/mvcisback/py-metric-temporal-logic). 

```

$ pip install metric-temporal-logic

```