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]
No references recorded for this publication.
No citations of this publication recorded.