( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems.

, , , и . KR, стр. 22-32. (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.

Alessio Lomuscio

Alessio Langiu

Alessio Meneghetti

Alessio Guerri

Alessio Quaglino

 

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

Non-elementary speed up for model checking synchronous perfect recall., и . ECAI, том 215 из Frontiers in Artificial Intelligence and Applications, стр. 1077-1078. IOS Press, (2010)Formal verification of neural agents in non-deterministic environments., , , и . Auton. Agents Multi Agent Syst., 36 (1): 6 (2022)QLB: A Quantified Logic for Belief., и . ATAL, том 1193 из Lecture Notes in Computer Science, стр. 71-85. Springer, (1996)Reports of the AAAI 2019 Spring Symposium Series., , , , , , , , , и 10 other автор(ы). AI Mag., 40 (3): 59-66 (2019)Expressive Losses for Verified Robustness via Convex Combinations., , , , , и . CoRR, (2023)Verification of Semantic Key Point Detection for Aircraft Pose Estimation., , , , , и . KR, стр. 757-762. (2023)Reasoning About Agents That May Know Other Agents' Strategies., , , , , и . IJCAI, стр. 1787-1793. ijcai.org, (2021)Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems., , , и . KR, стр. 22-32. (2020)Imperfect Information in Alternating-Time Temporal Logic on Finite Traces., , , и . PRIMA, том 11873 из Lecture Notes in Computer Science, стр. 469-477. Springer, (2019)A Classification Scheme for Negotiation in Electronic Commerce., , и . AgentLink, том 1991 из Lecture Notes in Computer Science, стр. 19-33. Springer, (2001)