Sign in

Softlock Detection for Super Metroid with Computation Tree Logic.

Ross MawhorterAdam Smith
Published in: FDG (2021)
Keyphrases
  • computation tree logic
  • model checking
  • temporal logic
  • multi agent