Kleene Algebras and Semimodules for Energy Problems.

Zoltn sik, Uli Fahrenberg, Axel Legay, Karin Quaas

Browse the full ATVA paper archive.