A Complete Approximation Theory for Weighted Transition Systems.

Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue

Browse the full SETTA paper archive.