Lina Gerlach

According to our database, Lina Gerlach authored at least 9 papers between 2023 and 2025.

Collaborative distances:

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

2025

A Hyperlogic for Strategies in Stochastic Games (Extended Version).

Lina Gerlach, Christof Löding, Erika Ábrahám

CoRR, June, 2025

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version).

Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

CoRR, May, 2025

Efficient Probabilistic Model Checking for Relational Reachability - Artifact.

Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

Dataset, April, 2025

Efficient Probabilistic Model Checking for Relational Reachability - Artifact.

Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

Dataset, April, 2025

A Hyperlogic for Strategies in Stochastic Games.

Lina Gerlach, Christof Löding, Erika Ábrahám

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025

Counterfactual Strategies for Markov Decision Processes.

Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika Ábrahám, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

Efficient Probabilistic Model Checking for Relational Reachability.

Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2023

A-HyperProb.

Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

Dataset, May, 2023

Introducing Asynchronicity to Probabilistic Hyperproperties.

Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023