Softlock Detection for Super Metroid with Computation Tree Logic.

Ross Mawhorter, Adam M. Smith

Browse the full FDG paper archive.