ZikangXiong/diff-spec

Differentiable Symbolic Specification

Python

Readme
0Issues
5Stargazers
1Watcher

No issues in this repository yet.

Topics

differentiable-programming first-order-logic formal-specification logic-programming signal-temporal-logic python pytorch

Contact site admin: Geeks.