Javier Esparza, Michael Luttenberger, Maximilian Schlund. FPsolve: A Generic Solver for Fixpoint Equations over Semirings. In Markus Holzer, Martin Kutrib, editors, Implementation and Application of Automata - 19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014. Proceedings. Volume 8587 of Lecture Notes in Computer Science, pages 1-15, Springer, 2014. [doi]
Abstract is missing.