Hasil Pencarian - Kim Guldstrand Larsen

  • Menampilkan 1 - 6 hasil dari 6
Perbaiki Hasil
  1. 1
    Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures

    Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures oleh Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard

    Diterbitkan 2016-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    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:
  3. 3
    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:
  4. 4
    Distributed Parametric and Statistical Model Checking

    Distributed Parametric and Statistical Model Checking oleh Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikučionis, Axel Legay

    Diterbitkan 2011-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Stubborn Set Reduction for Two-Player Reachability Games

    Stubborn Set Reduction for Two-Player Reachability Games oleh Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jiří Srba

    Diterbitkan 2021-03-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Sustainable Energy Systems Planning, Integration, and Management

    Sustainable Energy Systems Planning, Integration, and Management oleh Amjad Anvari-Moghaddam, Behnam Mohammadi-ivatloo, Somayeh Asadi, Kim Guldstrand Larsen, Mohammad Shahidehpour

    Diterbitkan 2019-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: