Skip to Main content Skip to Navigation
New interface
Conference papers

A Three-valued Approach to Strategic Abilities under Imperfect Information

Abstract : A major challenge for logics for strategies is represented by their verification in contexts of imperfect information. In this contribution we advance the state of the art by approximating the verification of Alternating-time Temporal Logic (AT L) under imperfect information by using perfect information and a three-valued semantics. In particular, we develop novel automata-theoretic techniques for the linear-time logic LT L, then apply these to finding “failure” states, where the AT L specification to be model checked is undefined. Such failure states can then be fed into a refinement procedure, thus providing a sound, albeit partial, verification procedure.
Document type :
Conference papers
Complete list of metadata
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Tuesday, March 16, 2021 - 1:55:30 AM
Last modification on : Tuesday, January 18, 2022 - 2:26:07 PM
Long-term archiving on: : Thursday, June 17, 2021 - 6:09:47 PM


Publisher files allowed on an open archive


  • HAL Id : hal-03170197, version 1


Francesco Belardinelli, Vadim Malvone. A Three-valued Approach to Strategic Abilities under Imperfect Information. 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Sep 2020, Rhodes, Greece. ⟨hal-03170197⟩



Record views


Files downloads