Skip to content Skip to footer

Research Portal of the TU Dresden

Dr. rer. nat. Jakob Piribauer Master of Science
Person

Affiliations

Chair of Algebraic and Logical Foundations of Computer Science
- Academic Staff
- jakob.piribauer@tu-dresden.de

Identification Numbers

ORCID	0000-0003-4829-0476
Scopus author ID	57208489107

Entropic risk for turn-based stochastic games

Baier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., Dec 2024, In: Information and computation. 301(2024), Part A, 105214.

Research output: Contribution to journal › Research article › Contributed › peer-review

Linear dynamical systems with continuous weight functions

Aghamov, R., Baier, C., Karimov, T., Ouaknine, J. & Piribauer, J., 14 May 2024, HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week. Association for Computing Machinery, Inc, p. 22:1-22:11 11 p. 22. (CPSWeek: Cyber-physical Systems).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Backward Responsibility in Transition Systems Using General Power Indices

Baier, C., van den Bossche, R., Klüppelholz, S., Lehmann, J. & Piribauer, J., 25 Mar 2024, In: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 18, p. 20320-20327 8 p.

Research output: Contribution to journal › Conference article › Contributed › peer-review

Foundations of probability-raising causality in Markov decision processes

Baier, C., Piribauer, J. & Ziemek, R., 19 Jan 2024, In: Logical methods in computer science : LMCS. 20, 1, p. 4:1–4:66 66 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

Counterfactual Causality for Reachability and Safety based on Distance Functions

Parreaux, J., Piribauer, J. & Baier, C., 30 Sept 2023, Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023. Achilleos, A. & Monica, D. D. (eds.). Vol. 390. p. 132-149 18 p. (Electronic proceedings in theoretical computer science : EPTCS, Vol. 390).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

View all research output (18)