A Decidable Recursive Logic for Weighted Transition Systems.

Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue

Browse the full ICTAC paper archive.