rLTL

Group for research around robust Linear Temporal Logic