Risultati della ricerca - Quatmann, Tim

Compositional Reasoning for Parametric Probabilistic Automata di Mertens, Hannah, Quatmann, Tim, Katoen, Joost-Pieter

Testo

Compositional Reasoning for Probabilistic Automata with Uncertainty di Mertens, Hannah, Quatmann, Tim, Katoen, Joost-Pieter

Testo

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

Testo

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

Testo

A Spectrum of Approximate Probabilistic Bisimulations di Spork, Timm, Baier, Christel, Katoen, Joost-Pieter, Piribauer, Jakob, Quatmann, Tim

Testo

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

Testo

Probabilistic Model Checking Taken by Storm di Volk, Matthias, Heck, Linus, Junges, Sebastian, Katoen, Joost-Pieter, Quatmann, Tim

Testo

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

Testo

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

Testo

Tools at the Frontiers of Quantitative Verification di 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

Testo