LTLCon

LTLCon: Software for control of linear systems from LTL formulas over linear predicates