ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models.

Radu Calinescu, Micah Bassett, Brendan Devlin-Hill, Simos Gerasimou, Sinem Getir Yaman, Kavan Fatehi, Gricel Vzquez

Browse the full CAV paper archive.