Christoph Weinhuber

According to our database, Christoph Weinhuber authored at least 16 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Formal Foundations of Agentic Business Process Management.

Giuseppe De Giacomo, Timotheus Kampik, Lukas Kirchdorfer, Marco Montali, Christoph Weinhuber

CoRR, April, 2026

Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions.

Alessandro Abate, Giuseppe De Giacomo, Mathias Jackermeier, Jan Kretínský, Maximilian Prokop, Christoph Weinhuber

CoRR, February, 2026

Multi-Property Synthesis.

Christoph Weinhuber, Yannik Schnitzer, Alessandro Abate, David Parker, Giuseppe De Giacomo, Moshe Y. Vardi

CoRR, January, 2026

Good-for-MDP State Reduction for Stochastic LTL Planning.

Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Good-for-MDP State Reduction for Stochastic LTL Planning.

Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang

Dataset, November, 2025

Code Simulation as a Proxy for High-order Tasks in Large Language Models.

Emanuele La Malfa, Christoph Weinhuber, Orazio Torre, Fangru Lin, Xuanqiang Angelo Huang, Samuele Marro, Anthony G. Cohn, Nigel Shadbolt, Michael J. Wooldridge

CoRR, February, 2025

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis.

Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives.

Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

Explaining Control Policies through Predicate Decision Diagrams.

Debraj Chakraborty, Clemens Dubslaff, Sudeep Kanav, Jan Kretínský, Christoph Weinhuber

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

Language-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

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

Code Simulation Challenges for Large Language Models.

Emanuele La Malfa, Christoph Weinhuber, Orazio Torre, Fangru Lin, Anthony G. Cohn, Nigel Shadbolt, Michael J. Wooldridge

CoRR, 2024

2023

Federated Learning with Swift: An Extension of Flower and Performance Evaluation.

Maximilian Kapsecker, Daniel N. Nugraha, Christoph Weinhuber, Nicholas D. Lane, Stephan M. Jonas

SoftwareX, December, 2023

The ARRT of Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges.

Emanuele La Malfa, Aleksandar Petrov, Simon Frieder, Christoph Weinhuber, Ryan Burnell, Anthony G. Cohn, Nigel Shadbolt, Michael J. Wooldridge

CoRR, 2023

Is Online Teaching Dead After COVID-19? Student Preferences for Programming Courses.

Stefanie Manger, Maximilian Sölch, Matthias Linhuber, Christoph Weinhuber, Philipp Zagar, Stephan Krusche

Proceedings of the 35th International Conference on Software Engineering Education and Training, 2023

2021

dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts (TACAS 21 Artifact).

Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav

Dataset, January, 2021

dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts.

Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021