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 (TACAS (2), 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 (Zenodo, 2021)

Is Online Teaching Dead After COVID-19? Student Preferences for Programming Courses. - Stefanie Manger; Maximilian Sölch 002; Matthias Linhuber; Christoph Weinhuber; Philipp Zagar; Stephan Krusche (CSEE&T, 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 001; Nigel Shadbolt; Michael J. Wooldridge (CoRR, 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, 2023)

Code Simulation Challenges for Large Language Models. - Emanuele La Malfa; Christoph Weinhuber; Orazio Torre; Fangru Lin; Anthony G. Cohn 001; Nigel Shadbolt; Michael J. Wooldridge (CoRR, 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 001; Nigel Shadbolt; Michael J. Wooldridge (J. Artif. Intell. Res., 2024)

Explaining Control Policies through Predicate Decision Diagrams. - Debraj Chakraborty 002; Clemens Dubslaff; Sudeep Kanav; Jan Kretínský; Christoph Weinhuber (HSCC, 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 001; Nigel Shadbolt; Michael J. Wooldridge (CoRR, 2025)

Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives. - Giuseppe De Giacomo; Yong Li 031; Sven Schewe; Christoph Weinhuber; Pian Yu (CoRR, 2025)

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis. - Daniel Hausmann 001; Shufang Zhu 001; Gianmarco Parretti; Christoph Weinhuber; Giuseppe De Giacomo; Nir Piterman (CoRR, 2025)