Julia Eisentraut

According to our database, Julia Eisentraut authored at least 5 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Learning Attack Trees by Genetic Algorithms.

Florian Dorfhuber, Julia Eisentraut, Jan Kretínský

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

Value iteration for simple stochastic games: Stopping criterion and learning algorithm.

Julia Eisentraut, Edon Kelmendi, Jan Kretínský, Maximilian Weininger

Inf. Comput., 2022

2021

Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions.

Julia Eisentraut, Stephan Holzer, Katharina Klioba, Jan Kretínský, Lukas Pin, Alexander Wagner

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

2019

Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic Reachability Games.

Julia Eisentraut, Jan Kretínský, Alexej Rotar

CoRR, 2019

Expected Cost Analysis of Attack-Defense Trees.

Julia Eisentraut, Jan Kretínský

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019