LTLMoP

Author: LTLMoP

Download: git://github.com/LTLMoP/LTLMoP.git

        A toolkit for designing and implementing LTL-based task specifications