Skip to Main content Skip to Navigation
Conference papers

Reachability Games in Dynamic Epistemic Logic

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-02533558
Contributor : Sophie Pinchinat <>
Submitted on : Monday, April 6, 2020 - 3:00:24 PM
Last modification on : Thursday, January 7, 2021 - 4:34:35 PM

Identifiers

  • HAL Id : hal-02533558, version 1

Citation

Bastien Maubert, Sophie Pinchinat, François Schwarzentruber. Reachability Games in Dynamic Epistemic Logic. the Twenty-Eighth International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. ⟨hal-02533558⟩

Share

Metrics

Record views

35