Christoph Weinhuber

19 papers A* 4Journal 12Unranked 3
YearRankTypeTitle / Venue / Authors
2026 A* conf
Good-for-MDP State Reduction for Stochastic LTL Planning.
AAAI
Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang
2026 J jnl
Multi-Property Synthesis.
CoRR
Christoph Weinhuber, Yannik Schnitzer, Alessandro Abate, David Parker, Giuseppe De Giacomo, Moshe Y. Vardi
2026 J jnl
Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions.
CoRR
Alessandro Abate, Giuseppe De Giacomo, Mathias Jackermeier, Jan Kretínský, Maximilian Prokop, Christoph Weinhuber
2025 J jnl
Code Simulation as a Proxy for High-order Tasks in Large Language Models.
CoRR
Emanuele La Malfa, Christoph Weinhuber, Orazio Torre, Fangru Lin, X. Angelo Huang, Samuele Marro, Anthony G. Cohn, Nigel Shadbolt, Michael J. Wooldridge
2025 A* conf
Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis.
KR
Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman
2025 J jnl
Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis.
CoRR
Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman
2025 — conf
Explaining Control Policies through Predicate Decision Diagrams.
HSCC
Debraj Chakraborty, Clemens Dubslaff, Sudeep Kanav, Jan Kretínský, Christoph Weinhuber
2025 J jnl
Explaining Control Policies through Predicate Decision Diagrams.
CoRR
Debraj Chakraborty, Clemens Dubslaff, Sudeep Kanav, Jan Kretínský, Christoph Weinhuber
2025 J jnl
Good-for-MDP State Reduction for Stochastic LTL Planning.
CoRR
Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang
2025 A* conf
Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges.
AAAI
Emanuele La Malfa, Aleksandar Petrov, Simon Frieder, Christoph Weinhuber, Ryan Burnell, Raza Nazar, Anthony G. Cohn, Nigel Shadbolt, Michael J. Wooldridge
2025 A* conf
Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives.
IJCAI
Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu
2025 J jnl
Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives.
CoRR
Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu
2024 J jnl
Code Simulation Challenges for Large Language Models.
CoRR
Emanuele La Malfa, Christoph Weinhuber, Orazio Torre, Fangru Lin, Anthony G. Cohn, Nigel Shadbolt, Michael J. Wooldridge
2024 J jnl
Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges.
J. Artif. Intell. Res.
Emanuele La Malfa, Aleksandar Petrov, Simon Frieder, Christoph Weinhuber, Ryan Burnell, Raza Nazar, Anthony G. Cohn, Nigel Shadbolt, Michael J. Wooldridge
2023 J jnl
Federated Learning with Swift: An Extension of Flower and Performance Evaluation.
SoftwareX
Maximilian Kapsecker, Daniel N. Nugraha, Christoph Weinhuber, Nicholas D. Lane, Stephan M. Jonas
2023 — conf
Is Online Teaching Dead After COVID-19? Student Preferences for Programming Courses.
CSEE&T
Stefanie Manger, Maximilian Sölch, Matthias Linhuber, Christoph Weinhuber, Philipp Zagar, Stephan Krusche
2023 J jnl
The ARRT of Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges.
CoRR
Emanuele La Malfa, Aleksandar Petrov, Simon Frieder, Christoph Weinhuber, Ryan Burnell, Anthony G. Cohn, Nigel Shadbolt, Michael J. Wooldridge
2021 — conf
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts.
TACAS (2)
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav
2021 J jnl
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts.
CoRR
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav