Login / Signup

Runtime Verification with Imperfect Information Through Indistinguishability Relations.

Angelo FerrandoVadim Malvone
Published in: SEFM (2022)
Keyphrases
  • imperfect information
  • game playing
  • game theoretic
  • game tree search
  • perfect information
  • imperfect information games
  • card game
  • game tree
  • alternating time temporal logic
  • data structure
  • finite automata