Skip to content

Christoph Weinhuber

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

5

Venues

4

Active years

2021–2026

Best venue rank

A*

Where they publish

Papers

5 indexed papers, newest first.

YearVenueTitleAuthors
2026AAAIGood-for-MDP State Reduction for Stochastic LTL Planning.Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang
2025AAAILanguage-Models-as-a-Service: Overview of a New Paradigm and its Challenges.Emanuele La Malfa, Aleksandar Petrov, Simon Frieder, Christoph Weinhuber, Ryan Burnell, Raza Nazar, Anthony G. Cohn, Nigel Shadbolt, Michael J. Wooldridge
2025IJCAISolving MDPs with LTLf+ and PPLTL+ Temporal Objectives.Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu
2025KREmerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis.Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman
2021TACASdtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts.Pranav Ashok, Mathias Jackermeier, Jan Kretnsk, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav