Rational Verification for Probabilistic Systems.

Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge

Browse the full KR paper archive.