Data

Tools

Indexes

Applications

Experiments

Repos

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

GitHub topics: temporal-logics-on-finite-traces

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

Related Keywords
and-or-graphs 1 and-or-search 1 cpp 1 finite-synthesis 1 linear-temporal-logic 1 sdd 1 sentential-decision-diagram 1 temporal-logics-on-finite-traces 1