Publications
↓ 2021DtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts.
Pranav Ashok,
Mathias Jackermeier,
Jan Křetínský,
Christoph Weinhuber,
Maximilian Weininger, and
Mayank Yadav.
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
(TACAS).
Luxembourg City, Luxembourg,
April
2021.
doi:10.1007/978-3-030-72013-1_17
Teaching
↓ Summer 2023
↓ Winter 2022/23
↓ Winter 2022/23
Theses: In Progress
Bachelor's Theses | Extending TEASE Enhancing the Reference Implementation of TEMPO |
Start Date | February 2023 |
Advisor(s) | Matthias Linhuber , and Christoph Weinhuber |
Supervisor(s) | Prof. Dr. Stephan Krusche |
Abstract | TBA |