Zobrazeno 1 - 1
of 1
pro vyhledávání: '"linear-time temporal operator"'
Autor:
Francesco Belardinelli, Stéphane Demri
Publikováno v:
Artificial Intelligence
Artificial Intelligence, 2021, 300, pp.103557. ⟨10.1016/j.artint.2021.103557⟩
Artificial Intelligence, Elsevier, 2021, 300, pp.103557. ⟨10.1016/j.artint.2021.103557⟩
Artificial Intelligence, 2021, 300, pp.103557. ⟨10.1016/j.artint.2021.103557⟩
Artificial Intelligence, Elsevier, 2021, 300, pp.103557. ⟨10.1016/j.artint.2021.103557⟩
International audience; The resource-bounded alternating-time temporal logic RB±ATL combines strategic reasoning with reasoning about resources. Its model-checking problem is known to be 2EXPTIME-complete (the same as its proper extension RB±ATL$^
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f79213dfba908036b155521646e7073
https://hal.science/hal-03298703/document
https://hal.science/hal-03298703/document
