/lwa-techniques

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

Primary LanguageTeX

This repository is not active