Scholar
Christoph Weinhuber
Google Scholar ID: ZK9goDEAAAAJ
University of Oxford
Citations & Impact
Citations
108
H-index
4
i10-index
4
Publications
11
Co-authors
15
list available
Publications
Cited
0
Resume (English only)
Academic Achievements
- A Requirements Engineering-Driven Methodology for Planning Domain Generation via LLMs with Invariant-Based Refinement
- Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
- Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
- Explaining Control Policies through Predicate Decision Diagrams
- Code Simulation as a Proxy for High-order Tasks in Large Language Models
- Code simulation challenges for large language models
- Federated learning with swift: An extension of flower and performance evaluation
- Language models as a service: Overview of a new paradigm and its challenges
- dtControl 2.0: explainable strategy representation via decision tree learning steered by experts
