Résultats de la recherche - Quatmann, Tim

  • Résultat(s) 1 - 10 résultats de 10
Affiner les résultats
  1. 1
    Image de couverture de livre

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

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

    Ajouter aux favoris
    Enregistré dans:
  2. 2
    Image de couverture de livre

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

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

    Ajouter aux favoris
    Enregistré dans:
  3. 3
    Image de couverture de livre

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

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

    Ajouter aux favoris
    Enregistré dans:
  4. 4
    Image de couverture de livre

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

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

    Ajouter aux favoris
    Enregistré dans:
  5. 5
    Image de couverture de livre

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

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

    Ajouter aux favoris
    Enregistré dans:
  6. 6
    Image de couverture de livre

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

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

    Ajouter aux favoris
    Enregistré dans:
  7. 7
    Image de couverture de livre

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

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

    Ajouter aux favoris
    Enregistré dans:
  8. 8
    Image de couverture de livre

    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

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

    Ajouter aux favoris
    Enregistré dans:
  9. 9
    Image de couverture de livre

    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

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

    Ajouter aux favoris
    Enregistré dans:
  10. 10
    Image de couverture de livre

    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

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

    Ajouter aux favoris
    Enregistré dans:

Outils de recherche: