Edoardo Bacci (@phate09)
github

phate09

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    18
  • Global Rank 672,756 (Top 24 %)
  • Followers 3
  • Following 6
  • Registered over 9 years ago
  • Most used languages
    Python
         75.0 %
    Lua
         25.0 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 23,503
  • Country Ranking
    Lua
         422
    Python
         6,130

Top repositories

1

SafeDRL

Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"
Python
8
star
2

ToDoChores

a mod for the game Don't Starve Together
Lua
6
star
3

SafeRL_Infinity

Repository for the paper "Verifying Reinforcement Learning up to Inifinity"
Python
3
star
4

stigler_app

Balanced diet on a budget
Python
1
star