Maximilian Weininger
发表
Jan Křetínský,
Florian Jüngermann,
Maximilian Weininger,
2022,
International Journal on Software Tools for Technology Transfer.
Jan Křetínský,
Tobias Meggendorfer,
Kush Grover,
2020,
CONCUR.
Jan Křetínský,
Maximilian Weininger,
Muqsit Azeem,
2022,
ATVA.
Jan Kretínský,
Pranav Ashok,
Maximilian Weininger,
2020,
ISoLA.
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,
Jan Křetínský,
Maximilian Weininger,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Mathias Wilhelm,
Ruedi Aebersold,
Stephan Aiche,
2017,
Nature Methods.
Kim G. Larsen,
Jan Kretínský,
Jakob Haahr Taankvist,
2019,
QEST.
Jan Kretínský,
Edon Kelmendi,
Maximilian Weininger,
2018,
CAV.
K. Chatterjee,
J. Katoen,
Tobias Winkler,
2023,
Formal Methods in System Design.
Pranav Ashok,
Maximilian Weininger,
Jan Kretinsky,
2019,
LICS.
Maximilian Weininger,
Tobias Winkler,
Tobias Winkler,
2021,
GandALF.
Krishnendu Chatterjee,
Joost-Pieter Katoen,
Tobias Winkler,
2020,
CAV.
Jan Křetínský,
Majid Zamani,
Pushpak Jagtap,
2020,
HSCC.
Jan Křetínský,
P. Ashok,
Maximilian Weininger,
2021,
TACAS.
Jan Křetínský,
Edon Kelmendi,
Julia Eisentraut,
2022,
Inf. Comput..
Maximilian Weininger,
Emanuel Ramneantu,
Jan Kretinsky,
2020,
GandALF.
Sebastian Junges,
Tim Quatmann,
A. Hartmanns,
2023,
TACAS.
Jan Křetínský,
Tobias Meggendorfer,
Kush Grover,
2020,
ArXiv.
A. Hartmanns,
Tobias Meggendorfer,
Maximilian Weininger,
2024,
2411.00559.