A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata.

Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jir Srba, Axel Legay

Browse the full TASE paper archive.