Pranav Ashok
发表
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.
Krishnendu Chatterjee,
Jan Kretínský,
Tobias Meggendorfer,
2017,
CAV.
Jan Kretínský,
Pranav Ashok,
Maximilian Weininger,
2019,
CAV.
Jan Kretínský,
Pushpak Jagtap,
Majid Zamani,
2020,
HSCC.
Kim G. Larsen,
Jan Kretínský,
Jakob Haahr Taankvist,
2019,
QEST.
Jan Kretínský,
Tomás Brázdil,
Pranav Ashok,
2018,
ISoLA.
Jan Kretínský,
Pranav Ashok,
Maximilian Weininger,
2020,
ISoLA.
Jan Kretínský,
Pranav Ashok,
Vahid Hashemi,
2020,
ATVA.
Christoph H. Lampert,
Krishnendu Chatterjee,
Jan Kretínský,
2019,
QEST.
Majid Zamani,
Pushpak Jagtap,
Pranav Ashok,
2020,
HSCC.
Pranav Ashok,
Maximilian Weininger,
Jan Kretinsky,
2019,
LICS.
Holger Hermanns,
Jan Kretínský,
Pranav Ashok,
2018,
ATVA.