mrigankpawagi/LeanearTemporalLogic

Formalization of Linear Temporal Logic (LTL) in Lean 4.

Language: Lean - Size: 79.1 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1 - Forks: 0

ivanDonadello/Declare4Py Fork of pandamarty/declare4py-v2.0

A Python package for declarative Process Mining with Machine Learning applications

Language: Python - Size: 9.91 MB - Last synced at: 2 days ago - Pushed at: 2 months ago - Stars: 22 - Forks: 6

datagram-db/knobab

Fast LTLf Log-SAT Solver with Data Payload!

Language: C++ - Size: 204 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0

brownplt/LTLTutor

Misconception-based tutor designed to help people learn Linear Temporal Logic.

Language: Python - Size: 719 KB - Last synced at: 7 days ago - Pushed at: 13 days ago - Stars: 5 - Forks: 1

IBM/nl2ltl

Natural Language (NL) to Linear Temporal Logic (LTL)

Language: Python - Size: 42.7 MB - Last synced at: 25 days ago - Pushed at: 7 months ago - Stars: 71 - Forks: 10

Benestar/rust-model-checker

A Model Checker in Rust

Language: Rust - Size: 43.9 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 4 - Forks: 0

konstantinosKokos/telos

⌛ [WIP] Differentiable linear temporal logic in PyTorch.

Language: Python - Size: 21.5 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

black-sat/black

BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)

Language: C++ - Size: 188 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 17 - Forks: 5

Model-Based-Design-Lab/cmlang

Computational Modeling Domain Specific Languages and Tools

Language: Xtend - Size: 197 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

MatiasBrizzio/AuRUS

AuRUS 🧬: A Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.

Language: Java - Size: 156 MB - Last synced at: 10 days ago - Pushed at: 11 months ago - Stars: 4 - Forks: 1

Montimage/mmt-security

A linear-temporal-logic rule-based engine for the detection of cyber attacks and protocol anomalies.

Language: C - Size: 19.2 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 6 - Forks: 0

MatiasBrizzio/EstiMate

EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.

Language: Java - Size: 99.5 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 4 - Forks: 0

whitemech/flloat 📦

From LTLf/LDLf To Automata

Language: Python - Size: 6.04 MB - Last synced at: 6 days ago - Pushed at: over 4 years ago - Stars: 22 - Forks: 4

James-Oswald/linear-temporal-logic

A mini-formalization of Linear Temporal Logic in Lean 3

Language: Lean - Size: 11.7 KB - Last synced at: 3 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

angmavrogiannis/Cook2LTL

Code for the ICRA 2024 Cook2LTL paper on translating free-form cooking recipes to Linear Temporal Logic (LTL) formulae for robot task planning.

Language: Python - Size: 73.2 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 9 - Forks: 1

utwente-fmt/ltsmin

The LTSmin model checking toolset

Language: C - Size: 7.43 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 52 - Forks: 30

eve-mas/eve-parity

Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.

Language: Python - Size: 8.91 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 17 - Forks: 3

ncatanoc/cyber_resilience_python

The goal of this project is to bring most of Event-B and refinement calculus into Python

Language: Jupyter Notebook - Size: 392 KB - Last synced at: 9 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

ivanDonadello/LTL-prescriptive-process-monitoring

A prescriptive (outcome-based) process monitoring system that provides users with temporal recommendations among activities to perform in an ongoing process

Language: Python - Size: 247 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

Model-Based-Design-Lab/cmwb

Computational Modeling WorkBench

Language: JavaScript - Size: 3.99 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 3 - Forks: 0

potassco/clingo-vs-telingo-planning

Language: ASP - Size: 981 KB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

ncatanoc/cyber_resilience

Program synthesis for cyber-resilience. Generation of certified code for architectural tactics, for which we use Event-B and EventB2Java. We show how testing can be used to animate and check the generated code.

Size: 901 KB - Last synced at: 9 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

eliyaoo32/DepSynt

Tools for dependent variables in Linear Temporal Logic (LTL), including: Finding Dependent variables, Synthesis exploiting dependency.

Language: C - Size: 158 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

reactive-systems/bosy

BoSy is a reactive synthesis tool based on constraint-solving

Language: Swift - Size: 396 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 17 - Forks: 11

maate/tempo-tango

Tempo-tango is a .NET interpreter for Linear Temporal Logic in F#. Tempo-tango talks about time as events in the future and extends normal propositional logic by including a time dimension.

Language: F# - Size: 4.94 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 0

spidermoy/OnTheFly_ModelChecking

Efficient On-the-Fly Model Checking for LTL and CTL★.

Language: Haskell - Size: 21.5 KB - Last synced at: 7 months ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0

AbuAwn/eLTL-master

This project is part of a master's thesis to implement eLTL logic, UMA University (Spain).

Language: Jupyter Notebook - Size: 3.6 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

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

matt-kukla/ltl

Linear temporal logic.

Language: OCaml - Size: 48.8 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

marcofavorito/tl-grammars

Grammars for temporal logic formalisms.

Language: Python - Size: 703 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 0

marcofavorito/pythogic 📦

A Python package for deal with logical formulas and formal systems (e.g. FOL)

Language: Python - Size: 660 KB - Last synced at: 7 months ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0

whitemech/cynthia

SDD-based Forward LTLf Synthesis

Language: C++ - Size: 460 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

meyerphi/strix

Strix is a tool for reactive synthesis of controllers from LTL specifications.

Language: Rust - Size: 1.09 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 11 - Forks: 1

ivanDonadello/temporal-prescriptive-process-monitoring Fork of shikhizada/recommender-system

A prescriptive process mining system that provides users with temporal recommendations among activities to perform in an ongoing process.

Language: Python - Size: 174 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

owl-toolkit/owl

Language: Java - Size: 10.8 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

sankalpgambhir/quantlearn

Learning LTL formulae from finite system traces.

Language: C++ - Size: 126 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

spidermoy/LTL_Coq

Linear Temporal Logic formalized in Coq

Language: Coq - Size: 28.3 KB - Last synced at: 7 months ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 2

ani8897/Safe-RL-Pacman Fork of CodeMaxx/Safe-RL-Pacman

Reinforcement Learning Course Project - IIT Bombay Fall 2018

Language: Python - Size: 9.04 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

htdebeer/LTLChecker

The LTL Checker, a ProM framework plug-in

Language: Java - Size: 3.18 MB - Last synced at: about 1 year ago - Pushed at: almost 10 years ago - Stars: 2 - Forks: 2

rminami/spin-verification

Exercises using the Spin model checker and the Promela specification language.

Language: TeX - Size: 594 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

Webastronaut/flood-it-solver

Flood-It solver written for the ASP system telingo.

Language: Python - Size: 29.3 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0