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 of "Induction of Subgoal Automata for Reinforcement Learning" (AAAI-20) and "Induction and Exploitation of Subgoal Automata for Reinforcement Learning" (JAIR).
The multiagent extension for the PDDL parser
Software for validating classical plans and planning programs (under development)
Algorithms for solving temporal planning problems
Seeing something unexpected? Take a look at the
GitHub profile guide.