temporal-synthesis

Here are 3 public repositories matching this topic...

gaperez64 / acacia-bonsai

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains

automata ltl formal-methods formal-verification linear-temporal-logic automated-reasoning reactive-synthesis temporal-synthesis

Updated Sep 10, 2026
C++

ShadyNikooei / DeepVision-Frame-Reconstruction-System

Star

A unified pipeline for video frame reconstruction combining classical CV (HSV keyframes + Farneback optical flow) with deep-learning interpolation via RIFE v4.25 for high-quality, perceptually consistent frames.

ai computer-vision deep-learning cuda neural-networks optical-flow digital-image-processing motion-estimation frame-interpolation video-interpolation rife video-preprocessing temporal-synthesis keyframe-extraction

Updated Jul 12, 2026
Python

gaperez64 / tlsf-tools

Star

Tools to manipulate TLSF specs

ltl preprocessing linear-temporal-logic reactive-synthesis tlsf temporal-synthesis syfco

Updated Aug 30, 2026
C

Add this topic to your repo

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

Learn more