Julia Eisentraut
Orcid: 0000-0002-7735-8751
According to our database1,
Julia Eisentraut
authored at least 6 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024
2023
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023
2022
Value iteration for simple stochastic games: Stopping criterion and learning algorithm.
Inf. Comput., 2022
2021
Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021
2019
Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic Reachability Games.
CoRR, 2019
Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019