GitHub repository: lrhammond/almanac
Primary language: Python
Description: Implementation and evaluation of Almanac (Automaton/Logic Multi-Agent Natural Actor-Critic), an algorithm for multi-agent reinforcement learning with temporal logic specifications.