Hasil Pencarian - Kim G. Larsen

  • Menampilkan 1 - 18 hasil dari 18
Perbaiki Hasil
  1. 1
    Continuous Markovian Logics - Axiomatization and Quantified Metatheory

    Continuous Markovian Logics - Axiomatization and Quantified Metatheory oleh Radu Mardare, Luca Cardelli, Kim G. Larsen

    Diterbitkan 2012-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Model Checking One-clock Priced Timed Automata

    Model Checking One-clock Priced Timed Automata oleh Patricia Bouyer, Kim G. Larsen, Nicolas Markey

    Diterbitkan 2008-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Parameterized Metatheory for Continuous Markovian Logic

    Parameterized Metatheory for Continuous Markovian Logic oleh Kim G. Larsen, Radu Mardare, Claus Thrane

    Diterbitkan 2012-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    Limit Your Consumption! Finding Bounds in Average-energy Games

    Limit Your Consumption! Finding Bounds in Average-energy Games oleh Kim G. Larsen, Simon Laursen, Martin Zimmermann

    Diterbitkan 2016-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Compositional bisimulation metric reasoning with Probabilistic Process Calculi

    Compositional bisimulation metric reasoning with Probabilistic Process Calculi oleh Daniel Gebler, Kim G. Larsen, Simone Tini

    Diterbitkan 2017-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Distances for Weighted Transition Systems: Games and Properties

    Distances for Weighted Transition Systems: Games and Properties oleh Uli Fahrenberg, Claus Thrane, Kim G. Larsen

    Diterbitkan 2011-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  7. 7
    Time-Darts: A Data Structure for Verification of Closed Timed Automata

    Time-Darts: A Data Structure for Verification of Closed Timed Automata oleh Jiří Srba, Kim G. Larsen, Kenneth Y. Jørgensen

    Diterbitkan 2012-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  8. 8
    On Zone-Based Analysis of Duration Probabilistic Automata

    On Zone-Based Analysis of Duration Probabilistic Automata oleh Bruce H. Krogh, Kim G. Larsen, Oded Maler

    Diterbitkan 2010-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  9. 9
    On-the-Fly Computation of Bisimilarity Distances

    On-the-Fly Computation of Bisimilarity Distances oleh Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare

    Diterbitkan 2017-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  10. 10
    A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains

    A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains oleh Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare

    Diterbitkan 2018-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  11. 11
    Refinement and Difference for Probabilistic Automata

    Refinement and Difference for Probabilistic Automata oleh Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay

    Diterbitkan 2014-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  12. 12
    Average-energy games

    Average-energy games oleh Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen

    Diterbitkan 2015-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  13. 13
    Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach

    Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach oleh Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis

    Diterbitkan 2012-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  14. 14
    Learning Markov Decision Processes for Model Checking

    Learning Markov Decision Processes for Model Checking oleh Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen

    Diterbitkan 2012-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  15. 15
    Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

    Computing Probabilistic Bisimilarity Distances for Probabilistic Automata oleh Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel

    Diterbitkan 2021-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  16. 16
    MDM: A Mode Diagram Modeling Framework

    MDM: A Mode Diagram Modeling Framework oleh Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu

    Diterbitkan 2012-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  17. 17
    Determine stormwater pond geometrics and hydraulics using remote sensing technologies: A comparison between airborne-LiDAR and UAV-photogrammetry field validation against RTK-GNSS

    Determine stormwater pond geometrics and hydraulics using remote sensing technologies: A comparison between airborne-LiDAR and UAV-photogrammetry field validation against RTK-GNSS oleh Guohan Zhao, Michael R. Rasmussen, Kim G. Larsen, Jiri Srba, Thomas D. Nielsen, Martijn A. Goorden, Weizhu Qian, Jesper E. Nielsen

    Diterbitkan 2023-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  18. 18
    Statistical Model Checking for Stochastic Hybrid Systems

    Statistical Model Checking for Stochastic Hybrid Systems oleh Danny Bøgsted Poulsen, Sean Sedwards, Axel Legay, Marius Mikučionis, Kim G. Larsen, Dehui Du, Alexandre David

    Diterbitkan 2012-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: