Alnis Murtovi, Alexander Bainczyk, Gerrit Nolte, Maximilian Schlüter, Bernhard Steffen. Forest GUMP: a tool for verification and explanation. STTT, 25(3):287-299, June 2023. [doi]
@article{MurtoviBNSS23,
title = {Forest GUMP: a tool for verification and explanation},
author = {Alnis Murtovi and Alexander Bainczyk and Gerrit Nolte and Maximilian Schlüter and Bernhard Steffen},
year = {2023},
month = {June},
doi = {10.1007/s10009-023-00702-5},
url = {https://doi.org/10.1007/s10009-023-00702-5},
researchr = {https://researchr.org/publication/MurtoviBNSS23},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {25},
number = {3},
pages = {287-299},
}