Mungojerrie

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.

Documentation

The documentation is available here.

Downloads

Mungojerrie

ePMC Plugin (epmc-mj)

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