Quantified CTL with imperfect information

  title={Quantified CTL with imperfect information},
  author={Rapha{\"e}l Berthon and Bastien Maubert and Aniello Murano},
Quantified CTL (QCTL) is a well-studied temporal logic that extends CTL with quantification over atomic propositions. It has recently come to the fore as a powerful intermediary framework to study logics for strategic reasoning. We extend it to include imperfect information by parameterising quantifiers with an observation that defines how well they observe… CONTINUE READING