Hasil Pencarian - Sven Schewe

  • Menampilkan 1 - 11 hasil dari 11
Perbaiki Hasil
  1. 1
    Optimal Time-Abstract Schedulers for CTMDPs and Markov Games

    Optimal Time-Abstract Schedulers for CTMDPs and Markov Games oleh Markus Rabe, Sven Schewe

    Diterbitkan 2010-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width

    Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width oleh John Fearnley, Sven Schewe

    Diterbitkan 2013-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Practical Distributed Control Synthesis

    Practical Distributed Control Synthesis oleh Doron Peled, Sven Schewe

    Diterbitkan 2011-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    Buying Optimal Payoffs in Bi-Matrix Games

    Buying Optimal Payoffs in Bi-Matrix Games oleh Anshul Gupta, Sven Schewe

    Diterbitkan 2018-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Smaller progress measures and separating automata for parity games

    Smaller progress measures and separating automata for parity games oleh Daniele Dell'Erba, Sven Schewe

    Diterbitkan 2022-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Parity Games with Weights

    Parity Games with Weights oleh Sven Schewe, Alexander Weinert, Martin Zimmermann

    Diterbitkan 2019-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  7. 7
    CTL* synthesis via LTL synthesis

    CTL* synthesis via LTL synthesis oleh Roderick Bloem, Sven Schewe, Ayrat Khalimov

    Diterbitkan 2017-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  8. 8
    Making the Best of Limited Memory in Multi-Player Discounted Sum Games

    Making the Best of Limited Memory in Multi-Player Discounted Sum Games oleh Anshul Gupta, Sven Schewe, Dominik Wojtczak

    Diterbitkan 2015-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  9. 9
    A Recursive Approach to Solving Parity Games in Quasipolynomial Time

    A Recursive Approach to Solving Parity Games in Quasipolynomial Time oleh Karoliina Lehtinen, Paweł Parys, Sven Schewe, Dominik Wojtczak

    Diterbitkan 2022-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  10. 10
    Rapid Recovery for Systems with Scarce Faults

    Rapid Recovery for Systems with Scarce Faults oleh Chung-Hao Huang, Doron Peled, Sven Schewe, Farn Wang

    Diterbitkan 2012-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  11. 11
    Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant

    Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant oleh Alon E. Faraggi, Benjamin Percival, Sven Schewe, Dominik Wojtczak

    Diterbitkan 2021-05-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: