E-LIB Suche - Ergebnisse für: Quatmann, Tim

1

Accurately Computing Expected Visiting Times and Stationary..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Mertens, Hannah ; Katoen, Joost-Pieter ; Quatmann, Tim. - p. 237-257 , 2024

2

Parameter synthesis for Markov models: covering the paramet..:

Junges, Sebastian ; Ábrahám, Erika ; Hensel, Christian...
Formal Methods in System Design. 62 (2024) 1-3 - p. 181-259 , 2024

Link: https://doi.org/10.1007/..

3

A Practitioner's Guide to MDP Model Checking Algorithms:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Hartmanns, Arnd ; Junges, Sebastian ; Quatmann, Tim. - p. 469-488 , 2023

Link: https://doi.org/10.1007/..

4

Under-Approximating Expected Total Rewards in POMDPs:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bork, Alexander ; Katoen, Joost-Pieter ; Quatmann, Tim - p. 22-40 , 2022

Link: https://doi.org/10.1007/..

5

On Correctness, Precision, and Performance in Quantitative ..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends; Lecture Notes in Computer Science,

Budde, Carlos E. ; Hartmanns, Arnd ; Klauck, Michaela... - p. 216-241 , 2021

Link: https://doi.org/10.1007/..

6

Multi-objective Optimization of Long-run Average and Total ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Quatmann, Tim ; Katoen, Joost-Pieter - p. 230-249 , 2021

Link: https://doi.org/10.1007/..

7

Markov automata with multiple objectives:

Quatmann, Tim ; Junges, Sebastian ; Katoen, Joost-Pieter
Formal Methods in System Design. 60 (2021) 1 - p. 33-86 , 2021

Link: https://doi.org/10.1007/..

8

The probabilistic model checker Storm:

Hensel, Christian ; Junges, Sebastian ; Katoen, Joost-Pieter..
International Journal on Software Tools for Technology Transfer. 24 (2021) 4 - p. 589-610 , 2021

Link: https://doi.org/10.1007/..

9

Verification of Indefinite-Horizon POMDPs:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Bork, Alexander ; Junges, Sebastian ; Katoen, Joost-Pieter. - p. 288-304 , 2020

Link: https://doi.org/10.1007/..

10

Multi-cost Bounded Tradeoff Analysis in MDP:

Hartmanns, Arnd ; Junges, Sebastian ; Katoen, Joost-Pieter.
Journal of Automated Reasoning. 64 (2020) 7 - p. 1483-1522 , 2020

Link: https://doi.org/10.1007/..

11

Simple Strategies in Multi-Objective MDPs:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Delgrange, Florent ; Katoen, Joost-Pieter ; Quatmann, Tim. - p. 346-364 , 2020

Link: https://doi.org/10.1007/..

12

The Quantitative Verification Benchmark Set:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Hartmanns, Arnd ; Klauck, Michaela ; Parker, David.. - p. 344-350 , 2019

Link: https://doi.org/10.1007/..

13

Correct-by-construction policies for POMDPs:

, In: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT,

Jansen, Nils ; Junges, Sebastian ; Katoen, Joost-Pieter... - p. 6-8 , 2019

Link: https://dl.acm.org/doi/1..

14

The 2019 Comparison of Tools for the Analysis of Quantitati..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Hahn, Ernst Moritz ; Hartmanns, Arnd ; Hensel, Christian... - p. 69-92 , 2019

Link: https://doi.org/10.1007/..

15

Sound Value Iteration:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Quatmann, Tim ; Katoen, Joost-Pieter - p. 643-661 , 2018

Link: https://doi.org/10.1007/..