Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Hartmanns, Arnd
92  Ergebnisse:
Personensuche X
?
1

Comparing Statistical, Analytical, and Learning-Based Routi..:

D'Argenio, Pedro R. ; Fraire, Juan ; Hartmanns, Arnd.
ACM Transactions on Modeling and Computer Simulation.  , 2024
Link: https://doi.org/10.1145/..
 
?
2

Fast Verified SCCs for Probabilistic Model Checking:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Hartmanns, Arnd ; Kohlen, Bram ; Lammich, Peter - p. 181-202 , 2023
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

Correct Probabilistic Model Checking with Floating-Point Ar..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Hartmanns, Arnd - p. 41-59 , 2022
Link: https://doi.org/10.1007/..
 
?
5

The Modest State of Learning, Sampling, and Verifying Strat..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science,
Hartmanns, Arnd ; Klauck, Michaela - p. 406-432 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Proceedings of the IEEE/ACM 10th International Conference o..:

Gnesi, Stefania ; Plat, Nico ; Hartmanns, Arnd. , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

Comparing Statistical and Analytical Routing Approaches for..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
D'Argenio, Pedro R. ; Fraire, Juan A. ; Hartmanns, Arnd. - p. 337-355 , 2022
Link: https://doi.org/10.1007/..
 
?
8

A Modest Approach to Markov Automata:

Butkova, Yuliya ; Hartmanns, Arnd ; Hermanns, Holger
ACM Transactions on Modeling and Computer Simulation (TOMACS).  31 (2021)  3 - p. 1-34 , 2021
Link: https://dl.acm.org/doi/1..
 
?
9

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/..
 
?
10

Learning optimal decisions for stochastic hybrid systems:

, In: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design,
Niehage, Mathis ; Hartmanns, Arnd ; Remke, Anne - p. 44-55 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

Replicating $$\textsc {Restart}$$ with Prolonged Retrials: ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Budde, Carlos E. ; Hartmanns, Arnd - p. 373-380 , 2021
Link: https://doi.org/10.1007/..
 
?
12

Tweaking the Odds in Probabilistic Timed Automata:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Hartmanns, Arnd ; Katoen, Joost-Pieter ; Kohlen, Bram. - p. 39-58 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Probabilistic Verification for Reliability of a Two-by-Two ..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Roberts, Riley ; Lewis, Benjamin ; Hartmanns, Arnd... - p. 232-248 , 2021
Link: https://doi.org/10.1007/..
 
?
14

Symblicit exploration and elimination for probabilistic mod..:

, In: Proceedings of the 36th Annual ACM Symposium on Applied Computing,
Hahn, Ernst Moritz ; Hartmanns, Arnd - p. 1798-1806 , 2021
Link: https://dl.acm.org/doi/1..
 
?
15

A Modest Approach to Markov Automata:

Butkova, Yuliya ; Hartmanns, Arnd ; Hermanns, Holger
ACM Transactions on Modeling and Computer Simulation.  31 (2021)  3 - p. 1-34 , 2021
Link: https://doi.org/10.1145/..
 
1-15