Hasil Pencarian - Mathias Ruggaard Pedersen

  • Menampilkan 1 - 2 hasil dari 2
Perbaiki Hasil
  1. 1
    A Faster-Than Relation for Semi-Markov Decision Processes

    A Faster-Than Relation for Semi-Markov Decision Processes oleh Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen

    Diterbitkan 2020-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Reasoning About Bounds in Weighted Transition Systems

    Reasoning About Bounds in Weighted Transition Systems oleh Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen

    Diterbitkan 2018-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: