GitHub repository: xsk07/LTLpSeparator
Primary language: Java
Description: Algorithm for the separation of LTLp formulae into a boolean combination of pure past, present and future formulae