Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2014 | Journal Article | IST-REx-ID: 2234 |
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, and A. Kučera, “Markov decision processes with multiple long-run average objectives,” Logical Methods in Computer Science, vol. 10, no. 1. International Federation of Computational Logic, 2014.View | Files available | DOI | Download Published Version (ext.)
2014 | Journal Article | IST-REx-ID: 2235 |
M. Fürst, D. Mcmahon, J. Osborne, R. Paxton, and M. Brown, “Disease associations between honeybees and bumblebees as a threat to wild pollinators,” Nature, vol. 506, no. 7488. Nature Publishing Group, pp. 364–366, 2014.View | DOI | Download Submitted Version (ext.)