An open API service providing repository metadata for many open source software ecosystems.

Topic: "temporal-logic"

lab-v2/pyreason

An explainable inference software supporting annotated, real valued, graph based and temporal logic

Language: Python - Size: 16.5 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 263 - Forks: 21

tulip-control/tulip-control

Temporal Logic Planning toolbox

Language: Python - Size: 9.52 MB - Last synced at: 10 days ago - Pushed at: about 2 months ago - Stars: 119 - Forks: 36

pwm/datetime-period

An implementation of the datetime period type including all their possible relations.

Language: PHP - Size: 20.5 KB - Last synced at: 25 days ago - Pushed at: almost 7 years ago - Stars: 68 - Forks: 2

tulip-control/omega

Specify and synthesize systems using symbolic algorithms

Language: Python - Size: 899 KB - Last synced at: 17 days ago - Pushed at: 8 months ago - Stars: 49 - Forks: 5

anand-bala/signal-temporal-logic 📦

A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!

Language: C++ - Size: 319 KB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 38 - Forks: 6

LinXueyuanStdio/TFLEX

[NeurIPS 2023] TFLEX: Temporal Feature-Logic Embedding Framework for Complex Reasoning over Temporal Knowledge Graph

Language: Jupyter Notebook - Size: 64.1 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 35 - Forks: 3

doganulus/reelay

A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

Language: C++ - Size: 2.98 MB - Last synced at: 27 days ago - Pushed at: about 1 year ago - Stars: 34 - Forks: 6

manospits/Phenesthe

'Phenesthe' (orig. φαίνεσθαι) is a system for the representation and processing of instantaneous and durative temporal phenomena.

Language: Prolog - Size: 40.2 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 21 - Forks: 0

sundw2014/STLPlanning

Path planning from STL (Signal Temporal Logic) specifications

Language: Python - Size: 16.6 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 21 - Forks: 6

marcincuber/modal_logic

Final Year Masters Project: modal logic solver tableaux

Language: Python - Size: 819 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 21 - Forks: 1

black-sat/black

BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)

Language: C++ - Size: 189 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 17 - Forks: 5

DistributedComponents/InfSeqExt

A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

Language: Coq - Size: 88.9 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 17 - Forks: 4

doganulus/python-monitors

A pure Python package to monitor formal specifications over temporal sequences

Language: Python - Size: 43.9 MB - Last synced at: 25 days ago - Pushed at: over 5 years ago - Stars: 17 - Forks: 5

whitemech/temprl

Reinforcement Learning framework for Temporal Goals

Language: Python - Size: 1.65 MB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 11 - Forks: 4

marcofavorito/master-thesis

My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.

Language: TeX - Size: 10.1 MB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 10 - Forks: 1

unitb/temporal-logic

Language: Lean - Size: 254 KB - Last synced at: 7 months ago - Pushed at: over 6 years ago - Stars: 9 - Forks: 3

ldltools/dsl4sc

LDL-based DSL for statechart generation and verification

Language: OCaml - Size: 1.11 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 8 - Forks: 0

doganulus/timescales

A benchmark generator for Metric Temporal Logic (MTL) monitoring tools

Language: Shell - Size: 1.2 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 2

zborffs/Fixed-Wing-Motion-Planning 📦

🛩️ Motion-Planning Control Algorithms for Fixed-Wing UAVs using Temporal Logic

Language: MATLAB - Size: 32.4 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0

doganulus/reelay-codegen

A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.

Language: Python - Size: 7.87 MB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 6 - Forks: 1

ctlab/fbSAT

Tool for automatic inference of minimal finite-state models of function blocks from execution scenarios and temporal properties

Language: Kotlin - Size: 2.62 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 3

NotBad4U/mcltl-rs

[beta] An experimental model checker for LTL written in Rust

Language: Rust - Size: 614 KB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 2

damianoduranti/LLMknowextra

LLM-Driven Knowledge Extraction: Results in Temporal and Description Logics (EKAW 2024)

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

modality-org/modality

verifiable contracts using temporal modal logic

Language: JavaScript - Size: 2.26 MB - Last synced at: 23 days ago - Pushed at: 4 months ago - Stars: 4 - Forks: 0

shuoyang2000/STLgame

Code for "STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems"

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

ldltools/ldlsat

SAT solver for Linear Dynamic Logic

Language: OCaml - Size: 295 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1

automated-ch/temporal-expression

A open source java library that supports the evaluation of temporal expressions

Language: Java - Size: 28.3 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 3 - 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

tzanis-anevlavis/evrostos

Evrostos: The rLTL Verifier

Language: C - Size: 10.8 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1

marcofavorito/tl-grammars

Grammars for temporal logic formalisms.

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

SongyanLai/Integrating-FRET-and-WEST

From LTL to MLTL: Exploring translation between temporal logic representations using FRET and WEST

Language: HTML - Size: 3.41 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

Model-Based-Design-Lab/cmlib

Computational Modeling Libraries

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

modality-org/modality-temp1

verifiable contracts using temporal modal logic

Size: 17.6 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

tudo-aqua/temporal-logic-latex-package

Latex package for temporal logic operators

Language: TeX - Size: 46.9 KB - Last synced at: 17 days ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0

danielbinder/LogiVis

A teaching aid for concepts and algorithms in logic

Language: Java - Size: 15.5 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

shaodaqian/rl-from-ltl

IJCAI 2023 Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees

Language: Python - Size: 484 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 2

cipherlab-poly/Anchors-signals-MCTS

Implements the algorithm introduced in our paper: Temporal Logic Explanations for Dynamic Decision Systems using Anchors and Monte Carlo Tree Search

Language: Python - Size: 5.42 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1

aerabi/lttt-report

Report for "A Basis for Event-Driven Programming" based on Linear Temporal Type Theory

Language: TeX - Size: 5.19 MB - Last synced at: 4 months ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

nicoleorzan/cps-exam

Cyber-Physical Sysems course Exam: PID, Reinforcement Learning and Temporal Logic

Language: Python - Size: 2.19 MB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 2

verse-lab/Lentil

(at least a useful portion of) TLA in Lean 4

Language: Lean - Size: 68.4 KB - Last synced at: about 17 hours ago - Pushed at: about 18 hours ago - Stars: 1 - Forks: 0

shuyang-dong/trust_aware_hrc_carla_sim

Human trust-aware motion planning under temporal logic specifications in autonomous driving simulation using CARLA.

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

rafaelmelomacieira/Tempo-Model-DSL

Domain-Specific Language for modeling and runtime verification of temporal properties in embedded system communication protocols.

Language: Java - Size: 7.15 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

baatochan/SystemsModelingLabs

All the stuff made for Information systems modeling and analysis (Modelowanie i analiza systemów informatycznych) course at the university.

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

spidermoy/LTL_Coq

Linear Temporal Logic formalized in Coq

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

The-SS/Temporal_Logic_Resources

Resources for Temporal Logic

Size: 15.8 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

dgaitsgo/ARTiMon-demo

Sample codebase of the demo created for the CEA-List's ARTiMon technology

Language: C# - Size: 105 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

SOUMAJYOTI/Causality-Prediction

Temporal causality in social network cascades

Language: Python - Size: 34.6 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1

lmarzen/libmltl

A high-performance library for Mission-time Linear Temporal Logic (MLTL) parsing, Abstract Syntax Tree (AST) manipulation, and formula evaluation. Supports C++ and Python interfaces.

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

SEG-UNIBE/tlparser

A CLI tool to parse and analyse temporal logic formulae.

Language: Python - Size: 708 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 0 - Forks: 0

shuyang-dong/stlu_quantitative_predictative_monitor

Quantitative predicative monitoring and adaptive control based on Signal Temporal Logic with uncertainty in Cyber-Physical-System

Language: Python - Size: 264 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

shuyang-dong/Counterfactual_Explanation_for_RL

Counterfactual explanations for continuous reinforcement learning with simulation in T1D and Gym environments.

Language: Python - Size: 33.9 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 1

hsimho/MightyPPL

A C++ tool to convert MITL with Past and Pnueli (MITPPL) formulae into timed automata

Language: C++ - Size: 18.8 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

GabrielCellammare/Formal-Methods-for-Optimized-and-Verified-Drone-Delivery-Systems

This project combines Answer Set Programming for optimal drone delivery route planning with temporal logic verification of flight maneuvers. It balances distance and energy costs while formally verifying safety properties, providing mathematical guarantees for autonomous drone operations

Size: 0 Bytes - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

ningit/ctxform

Equivalence checker for contextual formulas

Language: Python - Size: 43.9 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

jnzd/monpoly-server

Bachelor Thesis - A real-time, flexible logging and monitoring infrastructure for MonPoly

Language: OCaml - Size: 3.11 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

gsmithline/RL_Project

Project exploring Policy Space Response Oracles (PSRO) in a Normative POMDPs

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

imezenner/BPEL-Things-NET

Java application that allows you to check the temporal validaty of BPEL process using BPEL Things-NET

Language: Java - Size: 74.2 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

GabryV00/iPSTL_AnomalyDetector

Temporal Logic for Learning and Detection of Anomalous behaviours

Size: 3.68 MB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

krichelj/ALIO_BGU_2020

Automata and Logic on Infinite Objects course, Computer Science M.Sc., Ben Gurion University, 2020

Size: 611 KB - Last synced at: 4 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

cthulhu-bot/temporal-collections

Time is a flat circle...

Language: JavaScript - Size: 226 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

joulook/Verification-of-Reactive-Systems-Spring-2021

In this repository you can find all of my projects for Verification of Reactive Systems Course when I was in 2nd semester of my master's at SUT.

Language: C++ - Size: 1.18 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

zborffs/Liu-URA-W2022 📦

🧑‍🔬 Applied Math Research Project: Trajectory Optimization using Temporal Logic Specifications

Language: Python - Size: 27.3 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

whitemech/lydia-web-app

Web app to interact with the Lydia tool.

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

Mateusz-Grzelinski/sat-research

master repo for logic formula generation

Language: Python - Size: 511 KB - Last synced at: 4 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

iamumairs/twtl

Rewriting Algorithm for Time Window Temporal Logic

Language: OCaml - Size: 1.85 MB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 1

Webastronaut/asp-planning-benchmarks Fork of potassco/asp-planning-benchmarks

A repository of ASP planning benchmarks

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

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

nerdfiles/temporal-objects

➿ Temporal Objects with configurable clock bases.

Language: JavaScript - Size: 6.84 KB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

CIDARLAB/GridTLI-GUI

A GUI for Grid-Based Temporal Logic Inference

Language: JavaScript - Size: 5.29 MB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1

junpenglao/SPAFV

SPAFV - Surface Profile Analysis for Free Viewing eye movement experiment in 2AFC task

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

nsensfel/tabellion

Verification tool for VHDL (or at least the prototype of one).

Language: Java - Size: 366 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

dartmann/MinuteClock

A TLA+ model for a clock with hours and minutes.

Language: TLA - Size: 14.6 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

awmarkley/timenorm Fork of clulab/timenorm

Language: Scala - Size: 440 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

qnighy/advanced-programming-languages-report-ltl

Language: OCaml - Size: 117 KB - Last synced at: 2 days ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 0

Related Topics
formal-verification 11 formal-methods 11 logic 10 ltl 8 automata 8 python 7 reinforcement-learning 7 monitoring 6 synthesis 5 verification 5 model-checking 5 runtime-verification 5 linear-temporal-logic 5 signal-temporal-logic 5 ltlf 3 logic-programming 3 sat-solver 3 coq 3 ldlf 3 answer-set-programming 3 cyber-physical-systems 2 temporal-data 2 runtime-monitoring 2 petri-nets 2 modal-logic 2 verifiable-contracts 2 blockchain 2 ctl 2 nusmv 2 formal-specification 2 clingo 2 kripke-structure 2 stream-processing 2 stl 2 machine-learning 2 function-block 1 path-optimization 1 potassco 1 travelling-salesman-problem 1 telingo 1 algorithm 1 ocaml 1 solver 1 temporal-knowledge-graph 1 device-drivers 1 embedded-systems 1 declarative-programming 1 formalism-driven-development 1 asp 1 model-based-design 1 code-generation 1 artificial-intelligence 1 data-stream 1 monitoring-tool 1 regular-expression 1 standards 1 anomaly-detection 1 mltl 1 knowledge-graph 1 knowledge-graph-reasoning 1 standard-grammars 1 inference 1 mutli-agent 1 finite-state-automata 1 partially-observable-markov-decision-process 1 regular-expressions-and-languages 1 modeling 1 regular-expressions 1 max-plus-algebra 1 logging 1 questdb 1 max-plus 1 markov-chain 1 dataflow-analysis 1 datetime-period 1 interval-algebra 1 complexity 1 complexity-theory 1 graph-algorithms 1 graph-theory 1 computational 1 modal 1 logics 1 coq-formalization 1 math 1 mathematics 1 drone-delivery 1 nusmv-model-checker 1 benchmark-suite 1 timed-automata 1 uppaal 1 cpp17 1 python3 1 fret 1 safety-critical-systems 1 software-verification 1 west 1 bitvector 1 logic-minimization 1 rabin 1