Resultados de búsqueda - Quatmann, Tim

  • Mostrando 1 - 10 Resultados de 10
Limitar resultados
  1. 1
    Imagen de Portada

    Compositional Reasoning for Parametric Probabilistic Automata Autoría: Mertens, Hannah, Quatmann, Tim, Katoen, Joost-Pieter

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  2. 2
    Imagen de Portada

    Compositional Reasoning for Probabilistic Automata with Uncertainty Autoría: Mertens, Hannah, Quatmann, Tim, Katoen, Joost-Pieter

    Publicado 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  3. 3
    Imagen de Portada

    Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains Autoría: Mertens, Hannah, Katoen, Joost-Pieter, Quatmann, Tim, Winkler, Tobias

    Publicado 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  4. 4
    Imagen de Portada

    Artifact for Paper: Multi-Cost-Bounded Reachability Analysis of POMDPs Autoría: Bork, Alexander, Katoen, Joost-Pieter, Quatmann, Tim, Stein, Svenja

    Publicado 2025
    Fuente: Zenodo
    Tipo de material: Recurso digital
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  5. 5
    Imagen de Portada

    A Spectrum of Approximate Probabilistic Bisimulations Autoría: Spork, Timm, Baier, Christel, Katoen, Joost-Pieter, Piribauer, Jakob, Quatmann, Tim

    Publicado 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  6. 6
    Imagen de Portada

    Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains Autoría: Heck, Linus, Quatmann, Tim, Spel, Jip, Katoen, Joost-Pieter, Junges, Sebastian

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  7. 7
    Imagen de Portada

    Probabilistic Model Checking Taken by Storm Autoría: Volk, Matthias, Heck, Linus, Junges, Sebastian, Katoen, Joost-Pieter, Quatmann, Tim

    Publicado 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  8. 8
    Imagen de Portada

    Fixed Point Certificates for Reachability and Expected Rewards in MDPs Autoría: Chatterjee, Krishnendu, Quatmann, Tim, Schäffeler, Maximilian, Weininger, Maximilian, Winkler, Tobias, Zilken, Daniel

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  9. 9
    Imagen de Portada

    Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families Autoría: Češka, Milan, Junges, Sebastian, van der Maas, Luko, Macák, Filip, Quatmann, Tim

    Publicado 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  10. 10
    Imagen de Portada

    Tools at the Frontiers of Quantitative Verification Autoría: Andriushchenko, Roman, Bork, Alexander, Budde, Carlos E., Češka, Milan, Grover, Kush, Hahn, Ernst Moritz, Hartmanns, Arnd, Israelsen, Bryant, Jansen, Nils, Jeppson, Joshua, Junges, Sebastian, Köhl, Maximilian A., Könighofer, Bettina, Křetínský, Jan, Meggendorfer, Tobias, Parker, David, Pranger, Stefan, Quatmann, Tim, Ruijters, Enno, Taylor, Landon, Volk, Matthias, Weininger, Maximilian, Zhang, Zhen

    Publicado 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: