4 results found Sort:

lab-v2
pyreason lab-v2
13
181
other
5
An explainable inference software supporting annotated, real valued, graph based and temporal logic
logic python neurosymbolic temporal-logic machine-learning logic-programming
Created 2022-10-22
458 commits to main branch, last one 2 months ago
tulip-control
tulip-control tulip-control
35
112
bsd-3-clause
15
Temporal Logic Planning toolbox
python automata synthesis abstraction verification specification state-machine hybrid-systems temporal-logic control-systems feedback-systems
Created 2013-10-30
4,130 commits to main branch, last one about a month ago
sundw2014
STLPlanning sundw2014
8
50
unknown
2
Path planning from STL (Signal Temporal Logic) specifications
robotics path-planning temporal-logic motion-planning multi-agent-systems signal-temporal-logic
Created 2021-09-10
4 commits to master branch, last one 2 years ago
LinXueyuanStdio
TFLEX LinXueyuanStdio
3
33
apache-2.0
3
[NeurIPS 2023] TFLEX: Temporal Feature-Logic Embedding Framework for Complex Reasoning over Temporal Knowledge Graph
temporal-logic knowledge-graph temporal-knowledge-graph knowledge-graph-reasoning
Created 2022-02-06
473 commits to main branch, last one 5 months ago