Generalising KAT to Verify Weighted Computations - HASLab INESC TEC,Universidade do Minho,R. da Universidade,4710-057 Braga,Portugal, (2019)