xsk07/LTLpSeparator

Algorithm for the separation of LTLp formulae into a combination of pure temporal formulae

Language: Java - Size: 2.28 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1