Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall
Abstract
no abstract
Conference Papers
Year : 2008
Catalin Dima : Connect in order to contact the contributor
https://hal.science/hal-01699955
Submitted on : Friday, February 2, 2018-10:52:36 PM
Last modification on : Friday, March 24, 2023-2:53:06 PM
Cite
Catalin Dima. Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall. Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers, 2008, Unknown, Unknown Region. pp.117--131, ⟨10.1007/978-3-642-02734-5_8⟩. ⟨hal-01699955⟩
31
View
0
Download