Paul Kobialka

According to our database, Paul Kobialka authored at least 11 papers between 2022 and 2025.

Collaborative distances:

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

2025

Counterfactual Strategies for Markov Decision Processes.

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

CoRR, May, 2025

BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins.

Riccardo Sieve, Paul Kobialka, Laura Slaughter, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins, May, 2025

FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex.

Valentin Promies, Jasper Nalbach, Erika Ábrahám, Paul Kobialka

Log. Methods Comput. Sci., 2025

Nudging Strategies for User Journeys: Take a Path on the Wild Side.

Einar Broch Johnsen, Paul Kobialka, Andrea Pferscher, Silvia Lizeth Tapia Tarifa

Proceedings of the Real Time and Such, 2025

2024

User journey games: automating user-centric analysis.

Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar R. Bergersen, Einar Broch Johnsen

Softw. Syst. Model., June, 2024

Stochastic Games for User Journeys.

Paul Kobialka, Andrea Pferscher, Gunnar R. Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Methods - 26th International Symposium, 2024

Simulating User Journeys with Active Objects.

Paul Kobialka, Rudolf Schlatte, Gunnar Rye Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

FMplex: A Novel Method for Solving Linear Real Arithmetic Problems.

Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka

Proceedings of the Fourteenth International Symposium on Games, 2023

FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version).

Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka

CoRR, 2023

2022

Weighted Games for User Journeys.

Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar Rye Bergersen, Einar Broch Johnsen

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Building User Journey Games from Multi-party Event Logs.

Paul Kobialka, Felix Mannhardt, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Proceedings of the Process Mining Workshops, 2022