Skip to Main content Skip to Navigation
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

https://hal.archives-ouvertes.fr/hal-03170197
Contributor : Frédéric Davesne <>
Submitted on : Tuesday, March 16, 2021 - 1:55:30 AM
Last modification on : Wednesday, April 14, 2021 - 3:37:42 AM

File

KR2020_FB_VM.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-03170197, version 1

Citation

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⟩

Share

Metrics

Record views

27

Files downloads

4