Hasil Pencarian - Thomas A Henzinger

  • Menampilkan 1 - 10 hasil dari 10
Perbaiki Hasil
  1. 1
    Exact and Approximate Determinization of Discounted-Sum Automata

    Exact and Approximate Determinization of Discounted-Sum Automata oleh Udi Boker, Thomas A. Henzinger

    Diterbitkan 2014-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Quantitative Automata under Probabilistic Semantics

    Quantitative Automata under Probabilistic Semantics oleh Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop

    Diterbitkan 2019-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Timed Parity Games: Complexity and Robustness

    Timed Parity Games: Complexity and Robustness oleh Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu

    Diterbitkan 2011-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    Expressiveness and Closure Properties for Quantitative Languages

    Expressiveness and Closure Properties for Quantitative Languages oleh Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger

    Diterbitkan 2010-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Determinacy in Discrete-Bidding Infinite-Duration Games

    Determinacy in Discrete-Bidding Infinite-Duration Games oleh Milad Aghajohari, Guy Avni, Thomas A. Henzinger

    Diterbitkan 2021-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Interface Simulation Distances

    Interface Simulation Distances oleh Pavol Černý, Martin Chmelík, Thomas A. Henzinger, Arjun Radhakrishna

    Diterbitkan 2012-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  7. 7
    Predictive modeling of signaling crosstalk during C. elegans vulval development.

    Predictive modeling of signaling crosstalk during C. elegans vulval development. oleh Jasmin Fisher, Nir Piterman, Alex Hajnal, Thomas A Henzinger

    Diterbitkan 2007-05-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  8. 8
    Aspect-oriented linearizability proofs

    Aspect-oriented linearizability proofs oleh Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis

    Diterbitkan 2015-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  9. 9
    Edit Distance for Pushdown Automata

    Edit Distance for Pushdown Automata oleh Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop

    Diterbitkan 2017-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  10. 10
    Algorithms for Omega-Regular Games with Imperfect Information

    Algorithms for Omega-Regular Games with Imperfect Information oleh Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-Francois Raskin

    Diterbitkan 2007-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: