Christoph Weinhuber

4 papers at tracked venues · 2 at CORE A* · active 2025–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2 IJCAI ×1 KR ×1

Frequent coauthors

Giuseppe De Giacomo

×3

Yong Li

×2

Sven Schewe

×2

Qiyi Tang

×1

Daniel Hausmann

×1

Shufang Zhu

×1

Gianmarco Parretti

×1

Nir Piterman

×1

Emanuele La Malfa

×1

Aleksandar Petrov

×1

Simon Frieder

×1

Ryan Burnell

×1

Papers

Good-for-MDP State Reduction for Stochastic LTL Planning
AAAI 2026 · Christoph Weinhuber,
Giuseppe De Giacomo
,
Yong Li
,
Sven Schewe
,
Qiyi Tang
Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
KR 2025 ·
Daniel Hausmann
,
Shufang Zhu
,
Gianmarco Parretti
, Christoph Weinhuber,
Giuseppe De Giacomo
,
Nir Piterman
Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges
AAAI 2025 ·
Emanuele La Malfa
,
Aleksandar Petrov
,
Simon Frieder
, Christoph Weinhuber,
Ryan Burnell
,
Raza Nazar
,
Anthony G. Cohn
,
Nigel Shadbolt
,
Michael J. Wooldridge
Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
IJCAI 2025 ·
Giuseppe De Giacomo
,
Yong Li
,
Sven Schewe
, Christoph Weinhuber,
Pian Yu