2 papers
cs.CR2024
QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification
Florian Dorfhuber, Julia Eisentraut, Katharina Klioba +1
Ranking risks and countermeasures is one of the foremost goals of quantitative security analysis. One of the popular frameworks, used also in industrial practice, for this task are…
cs.GT2019
Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic Reachability Games
Julia Eisentraut, Jan Křetínský, Alexej Rotar
We consider concurrent stochastic games played on graphs with reachability and safety objectives. These games can be solved by value iteration as well as strategy iteration, each o…