Anshul Gupta, Sven Schewe. Quantitative Verification in Rational Environments. In Amedeo Cesta, Carlo Combi, François Laroussinie, editors, 21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014. pages 123-131, IEEE, 2014. [doi]
Abstract is missing.