Framework for Generating State-Space Graphs. - Michael Joseph Ericson; Sindri Sigpórsson; Hrafn Örlygsson; Yngvi Björnsson; Stephan Schiffel (CoG, 2025)