Most Permissive Strategies for Games with Negation-free CTL

Student thesis: Master thesis (including HD thesis)

  • Beinir Ragnuson
  • Bogi Napoleon Wennerstrøm
  • Sigmundur Vang
4. term, Computer Science, Master (Master Programme)
LanguageEnglish
Publication date2021
ID: 413850222