openalexWhite Rose Research Online (University of Leeds, The University of Sheffield, University of York)2026-07-26
A Tool for the Verification and Synthesis of Stochastic World Models
RADU CONSTANTIN Calinescu, Micah Bassett, Brendan Devlin-Hill, Simos Gerasimou, Sinem Getir Yaman, Kavan Fatehi, et al.