Christoph Weinhuber

Venues

Frequent coauthors

Papers

1. Good-for-MDP State Reduction for Stochastic LTL Planning
   AAAI 2026 · Christoph Weinhuber
2. Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
   KR 2025 ·

   Daniel Hausmann

   DBLP profile ↗ORCID search ↗
3. Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges
   AAAI 2025 ·

   Emanuele La Malfa

   DBLP profile ↗ORCID search ↗
4. Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
   IJCAI 2025 ·

   Giuseppe De Giacomo

   DBLP profile ↗ORCID search ↗