This code contain files that we use to implement our techniques regarding the behavior of an RL agent when facing moving adversaries. Additional informations regarding our techniques can be found in our paper. The link to proceedings will be made available soon. Each .py files represent a scenario of the environment and the .dtmc is our code for probabilistic model checking
amin-nikanjam
/
On-Assessing-The-Safety-of-Reinforcement-Learning-algorithms-Using-Formal-Methods
Public
forked from movingadv/On-Assessing-The-Safety-of-Reinforcement-Learning-algorithms-Using-Formal-Methods
-
Notifications
You must be signed in to change notification settings - Fork 0
amin-nikanjam/On-Assessing-The-Safety-of-Reinforcement-Learning-algorithms-Using-Formal-Methods
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Python 100.0%