Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Implementation and evaluation of Almanac (Automaton/Logic Multi-Agent Natural Actor-Critic), an algorithm for multi-agent reinforcement learning with temporal logic specifications.
Lexicographic Multi-Objective Reinforcement Learning
Safe Deep Symbolic Reinforcement Learning
Forked from imandra-ai/regions-rl
Collection of examples for reinforcement learning
Forked from OpenLogicProject/OpenLogic
An open-source, customizable intermediate logic textbook
Forked from HumanCompatibleAI/overcooked_ai
A benchmark environment for fully cooperative multi-agent performance.
Seeing something unexpected? Take a look at the
GitHub profile guide.