Suchergebnisse - Quatmann, Tim

  • Treffer 1 - 10 von 10
Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 2025
    Fuente: Zenodo
    Tipo de material: Recurso digital
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Buchumschlag

    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

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Buchumschlag

    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

    Veröffentlicht 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Buchumschlag

    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

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: