Mostrando 1 - 6 resultados de 6 para a busca 'Totzke, P' Pular para o conteúdo
VuFind
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
Avançada
  • Autor
  • Totzke, P
Mostrando 1 - 6 resultados de 6 para a busca 'Totzke, P', tempo de busca: 0.02s Refinar Resultados
  1. 1
    Strategy complexity of parity objectives in countable MDPs

    Strategy complexity of parity objectives in countable MDPs por Kiefer, S, Mayr, R, Shirmohammadi, M, Totzke, P

    Publicado em 2020
    Conference item
  2. 2
    A polynomial-time algorithm for reachability in branching VASS in dimension one

    A polynomial-time algorithm for reachability in branching VASS in dimension one por Göller, S, Haase, C, Lazic, R, Totzke, P

    Publicado em 2016
    Conference item
  3. 3
    Strategy complexity of reachability in countable stochastic 2-player games

    Strategy complexity of reachability in countable stochastic 2-player games por Kiefer, S, Mayr, R, Shirmohammadi, M, Totzke, P

    Publicado em 2024
    Journal article
  4. 4
    Büchi objectives in countable MDPs

    Büchi objectives in countable MDPs por Kiefer, S, Mayr, R, Shirmohammadi, M, Totzke, P

    Publicado em 2019
    Conference item
  5. 5
    Transience in countable MDPs

    Transience in countable MDPs por Kiefer, SM, Mayr, R, Shirmohammadi, M, Totzke, P

    Publicado em 2021
    Conference item
  6. 6
    The reachability problem for two-dimensional vector addition systems with states

    The reachability problem for two-dimensional vector addition systems with states por Blondin, M, Englert, M, Finkel, A, Göller, S, Haase, C, Lazic, R, McKenzie, P, Totzke, P

    Publicado em 2021
    Journal article

Ferramentas de busca:

  • Obter Feed RSS
  • Enviar busca por e-mail

Opções de Busca

  • Histórico de buscas
  • Busca Avançada

Encontrar Mais

  • Navegar o acervo
  • Navegar por ordem alfabética
  • Explorar canais
  • Bibliografia Recomendada
  • Novos itens

Precisa de ajuda?

  • Dicas de Busca
  • Serviço de Referência
  • Perguntas Frequentes