From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Nondeterministic Strategies and their Refinement in Strategy Logic.

G. Giacomo, B. Maubert, и A. Murano. KR, стр. 294-303. (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Bastien Maubert

Bastien Clausse

Bastien Pietropaoli

Bastien Confais

Bastien Poggi

Другие публикации лиц с тем же именем

Formal Verification of Bayesian Mechanisms.M. Mittelmann, B. Maubert, A. Murano, и L. Perrussel. AAAI, стр. 11621-11629. AAAI Press, (2023)The Complexity of Model Checking Knowledge and Time.L. Bozzelli, B. Maubert, и A. Murano. IJCAI, стр. 1595-1601. ijcai.org, (2019)Concurrent Games in Dynamic Epistemic Logic.B. Maubert, S. Pinchinat, F. Schwarzentruber, и S. Stranieri. IJCAI, стр. 1877-1883. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Strategic Reasoning in Automated Mechanism Design.B. Maubert, M. Mittelmann, A. Murano, и L. Perrussel. KR, стр. 487-496. (2021)Alternating Tree Automata with Qualitative Semantics.R. Berthon, N. Fijalkow, E. Filiot, S. Guha, B. Maubert, A. Murano, L. Pinault, S. Pinchinat, S. Rubin, и O. Serre. ACM Trans. Comput. Log., 22 (1): 7:1-7:24 (2021)Nondeterministic Strategies and their Refinement in Strategy Logic.G. Giacomo, B. Maubert, и A. Murano. KR, стр. 294-303. (2020)The Expressive Power of Epistemic $μ$-Calculus.C. Dima, B. Maubert, и S. Pinchinat. CoRR, (2014)Public and Private Affairs in Strategic Reasoning.N. Fijalkow, B. Maubert, A. Murano, S. Rubin, и M. Vardi. KR, (2022)Reasoning about Changes of Observational Power in Logics of Knowledge and Time.A. Barrière, B. Maubert, A. Murano, и S. Rubin. AAMAS, стр. 971-979. International Foundation for Autonomous Agents and Multiagent Systems, (2019)Assume-Guarantee Synthesis for Prompt Linear Temporal Logic.N. Fijalkow, B. Maubert, A. Murano, и M. Vardi. IJCAI, стр. 117-123. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..