Introducing Asynchronicity to Probabilistic Hyperproperties. - Lina Gerlach; Oyendrila Dobe; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour (QEST, 2023)

A-HyperProb. - Lina Gerlach; Oyendrila Dobe; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour (Zenodo, 2023)

Efficient Probabilistic Model Checking for Relational Reachability. - Lina Gerlach; Tobias Winkler 001; Erika Ábrahám; Borzoo Bonakdarpour; Sebastian Junges (CAV (1), 2025)

Counterfactual Strategies for Markov Decision Processes. - Paul Kobialka; Lina Gerlach; Francesco Leofante; Erika Ábrahám; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (CoRR, 2025)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version). - Lina Gerlach; Tobias Winkler 001; Erika Ábrahám; Borzoo Bonakdarpour; Sebastian Junges (CoRR, 2025)

A Hyperlogic for Strategies in Stochastic Games (Extended Version). - Lina Gerlach; Christof Löding; Erika Ábrahám (CoRR, 2025)