{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T15:59:27Z","timestamp":1726761567824},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,8]]},"abstract":"<jats:p>We introduce Probabilistic Strategy Logic, an extension of Strategy Logic for\nstochastic systems. The logic has probabilistic terms that allow it to express\nmany standard solution concepts, such as Nash equilibria in randomised\nstrategies, as well as constraints on probabilities, such as independence. We\nstudy the model-checking problem for agents with perfect- and imperfect-recall.\nThe former is undecidable, while the latter is decidable in space exponential\nin the system and triple-exponential in the formula.  We identify a natural\nfragment of the logic, in which every temporal operator is immediately preceded\nby a probabilistic operator, and show that it is decidable in space exponential\nin the system and the formula, and double-exponential in the nesting depth of\nthe probabilistic terms. Taking a fixed nesting depth, this gives a fragment\nthat still captures many standard solution concepts, and is decidable in\nexponential space.<\/jats:p>","DOI":"10.24963\/ijcai.2019\/5","type":"proceedings-article","created":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T07:46:05Z","timestamp":1564299965000},"page":"32-38","source":"Crossref","is-referenced-by-count":10,"title":["Probabilistic Strategy Logic"],"prefix":"10.24963","author":[{"given":"Benjamin","family":"Aminof","sequence":"first","affiliation":[{"name":"JKU Linz, Austria"},{"name":"TU Wien, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marta","family":"Kwiatkowska","sequence":"additional","affiliation":[{"name":"University of Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bastien","family":"Maubert","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Napoli Federico II, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aniello","family":"Murano","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Napoli Federico II, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sasha","family":"Rubin","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Napoli Federico II, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"28","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2019","name":"Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}","start":{"date-parts":[[2019,8,10]]},"theme":"Artificial Intelligence","location":"Macao, China","end":{"date-parts":[[2019,8,16]]}},"container-title":["Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T07:46:10Z","timestamp":1564299970000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2019\/5"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2019,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2019\/5","relation":{},"subject":[],"published":{"date-parts":[[2019,8]]}}}