Skip to content

houseofwealth/Shielded-RL

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

"python -m venv venv"
"source venv/bin/activate"
"source set setLxSHPYTHONPATH"
"pip install -r requirements.txt"
"cd source"
"python experiment.py"

About

synthesize shields to ensure safety constraints expressed in LTL

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages