| dtControl 2.0: explainable strategy representation via decision tree learning steered by experts P Ashok, M Jackermeier, J Křetínský, C Weinhuber, M Weininger, ... International Conference on Tools and Algorithms for the Construction and …, 2021 | 45 | 2021 |
| Language models as a service: Overview of a new paradigm and its challenges E La Malfa, A Petrov, S Frieder, C Weinhuber, R Burnell, R Nazar, ... Journal of Artificial Intelligence Research, arXiv: 2309.16573, 2023 | 40* | 2023 |
| Code simulation challenges for large language models E La Malfa, C Weinhuber, O Torre, F Lin, S Marro, A Cohn, N Shadbolt, ... arXiv preprint arXiv:2401.09074, 2024 | 22 | 2024 |
| Federated learning with swift: An extension of flower and performance evaluation M Kapsecker, DN Nugraha, C Weinhuber, N Lane, SM Jonas SoftwareX 24, 101533, 2023 | 12 | 2023 |
| Learning domain-specific predicates in decision trees for explainable controller representation C Weinhuber B.Sc. Thesis, 2020 | 2 | 2020 |
| Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives G De Giacomo, Y Li, S Schewe, C Weinhuber, P Yu IJCAI 2025, 2025 | 1 | 2025 |
| Code Simulation as a Proxy for High-order Tasks in Large Language Models E La Malfa, C Weinhuber, O Torre, F Lin, XA Huang, S Marro, A Cohn, ... arXiv preprint arXiv:2502.03568, 2025 | 1 | 2025 |
| Good-for-MDP State Reduction for Stochastic LTL Planning C Weinhuber, G De Giacomo, Y Li, S Schewe, Q Tang AAAI 2026 (𝗢𝗿𝗮𝗹), 2025 | | 2025 |
| A Requirements Engineering-Driven Methodology for Planning Domain Generation via LLMs with Invariant-Based Refinement A Casciani, G De Giacomo, A Marrella, C Weinhuber ICAPS 2025 LM4Plan Workshop, 2025 | | 2025 |
| Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis D Hausmann, S Zhu, G Parretti, C Weinhuber, G De Giacomo, N Piterman KR 2025, 2025 | | 2025 |
| Explaining Control Policies through Predicate Decision Diagrams D Chakraborty, C Dubslaff, S Kanav, J Kretinsky, C Weinhuber Proceedings of the 28th ACM International Conference on Hybrid Systems …, 2025 | | 2025 |
Emanuele La MalfaUniversity of Oxford, The Alan Turing InstituteVerified email at cs.ox.ac.uk
