Create monitors

This repository contains generated monitors for some mu-calculus formulas.