https://github.com/0x0f0f0f/lwa-techniques

Implementation of algorithms described in "A coalgebraic perspective on linear weighted automata" and "Up-To Techniques for Weighted Systems"
https://github.com/0x0f0f0f/lwa-techniques

Last synced: about 2 months ago
JSON representation

Implementation of algorithms described in "A coalgebraic perspective on linear weighted automata" and "Up-To Techniques for Weighted Systems"

• Host: GitHub
• URL: https://github.com/0x0f0f0f/lwa-techniques
• Owner: 0x0f0f0f
• Created: 2020-09-06T14:57:10.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-10-11T15:17:41.000Z (about 4 years ago)
• Last Synced: 2024-10-13T23:35:35.196Z (3 months ago)
• Language: TeX
• Homepage:
• Size: 2.79 MB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project