Jakob Piribauer

4 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3 KR ×1

Frequent coauthors

Christel Baier

×4

Rajab Aghamov

×2

Joël Ouaknine

×2

Sascha Klüppelholz

×2

Mihir Vahanwala

×1

Isa Vialard

×1

Robin Ziemek

×1

Toghrul Karimov

×1

Rupak Majumdar

×1

Timm Spork

×1

Roxane van den Bossche

×1

Johannes Lehmann

×1

Papers

Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
AAAI 2026 ·
Rajab Aghamov
,
Christel Baier
,
Joël Ouaknine
, Jakob Piribauer,
Mihir Vahanwala
,
Isa Vialard
Formal Quality Measures for Predictors in Markov Decision Processes
AAAI 2025 ·
Christel Baier
,
Sascha Klüppelholz
, Jakob Piribauer,
Robin Ziemek
Model Checking Linear Temporal Logic with Standpoint Modalities
KR 2025 ·
Rajab Aghamov
,
Christel Baier
,
Toghrul Karimov
,
Rupak Majumdar
,
Joël Ouaknine
, Jakob Piribauer,
Timm Spork
Backward Responsibility in Transition Systems Using General Power Indices
AAAI 2024 ·
Christel Baier
,
Roxane van den Bossche
,
Sascha Klüppelholz
,
Johannes Lehmann
, Jakob Piribauer