Maximilian Weininger
发表
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
pdf
Jan Kretínský,
Pranav Ashok,
Mathias Jackermeier,
2021,
International Conference on Tools and Algorithms for Construction and Analysis of Systems.
Jan Kretínský,
Pranav Ashok,
Maximilian Weininger,
2019,
CAV.
Tobias Meggendorfer,
Maximilian Weininger,
Kush Grover,
2020
.
Jan Kretínský,
Tobias Meggendorfer,
Maximilian Weininger,
2017,
TACAS.
Loris D'Antoni,
Maximilian Weininger,
Jan Kretinsky,
2020,
CAV.
Javier Esparza,
Stefan Kiefer,
Maximilian Weininger,
2020
.
Jan Kretínský,
Pushpak Jagtap,
Majid Zamani,
2020,
HSCC.
Maximilian Weininger,
Emanuel Ramneantu,
Jan Kretinsky,
2020,
GandALF.
Kim G. Larsen,
Jan Kretínský,
Jakob Haahr Taankvist,
2019,
QEST.
Jan Kretínský,
Edon Kelmendi,
Maximilian Weininger,
2018,
CAV.
Tobias Meggendorfer,
Jan Křetínský,
Maximilian Weininger,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Jan Kretínský,
Pranav Ashok,
Maximilian Weininger,
2020,
ISoLA.
Krishnendu Chatterjee,
Joost-Pieter Katoen,
Tobias Winkler,
2020,
CAV.
Jan Kretínský,
Javier Esparza,
Stefan Kiefer,
2020,
ArXiv.
Majid Zamani,
Pushpak Jagtap,
Pranav Ashok,
2020,
HSCC.
Jan Kretínský,
Maximilian Weininger,
Emanuel Ramneantu,
2020,
GandALF.
Pranav Ashok,
Maximilian Weininger,
Jan Kretinsky,
2019,
LICS.
Maximilian Weininger,
Tobias Winkler,
2021,
Electronic Proceedings in Theoretical Computer Science.
Maximilian Weininger,
Tobias Winkler,
Tobias Winkler,
2021,
GandALF.
Mathias Wilhelm,
Ruedi Aebersold,
Stephan Aiche,
2017,
Nature Methods.