Risultati della ricerca - Quatmann, Tim

  • Mostra 1 - 10 risultati su 10
Raffina i risultati
  1. 1
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  3. 3
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  4. 4
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  5. 5
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  6. 6
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  7. 7
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  8. 8
    Copertina

    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

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

    Aggiungi alla lista
    Salvato in:
  9. 9
    Copertina

    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

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

    Aggiungi alla lista
    Salvato in:
  10. 10
    Copertina

    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

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

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: