Mungojerrie is a tool for testing reinforcement learning reward schemes for ω-regular objectives, of which Linear Temporal Logic (LTL) is a special case. See the documentation and tool paper for details.

Downloads

Mungojerrie

• mungojerrie-1.1.1.tar.gz (documentation)
• mungojerrie-1.1.tar.gz (documentation)
• mungojerrie-1.0.tar.gz (documentation)

ePMC Plugin (epmc-mj)

This is an LTL translator specializing in slim Büchi automata.

• epmc-mj-v17.jar