pltl

Here are 3 public repositories matching this topic...

A Python library for logic formalisms representation and manipulation.

SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces

LTL and Past LTL on Finite Traces for Planning and Declarative Process Mining

Add a description, image, and links to the pltl topic page so that developers can more easily learn about it.

To associate your repository with the pltl topic, visit your repo's landing page and select "manage topics."