Christoph Weinhuber

According to our database, Christoph Weinhuber authored at least 11 papers between 2021 and 2025.

Collaborative distances:

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

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

CoRR, August, 2025

Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives.

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

CoRR, May, 2025

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

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

CoRR, February, 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

2024

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

J. Artif. Intell. Res., 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