( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Repairing misclassifications in neural networks using limited data.

, , и . SAC, стр. 1031-1038. ACM, (2022)

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 Vascon

 

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

Verification of Semantic Key Point Detection for Aircraft Pose Estimation., , , , , и . KR, стр. 757-762. (2023)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)Non-elementary speed up for model checking synchronous perfect recall., и . ECAI, том 215 из Frontiers in Artificial Intelligence and Applications, стр. 1077-1078. IOS Press, (2010)QLB: A Quantified Logic for Belief., и . ATAL, том 1193 из Lecture Notes in Computer Science, стр. 71-85. Springer, (1996)Tightening the Evaluation of PAC Bounds Using Formal Verification Results., и . CoRR, (2024)Reasoning About Agents That May Know Other Agents' Strategies., , , , , и . IJCAI, стр. 1787-1793. ijcai.org, (2021)Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic., , и . MoChArt, том 5348 из Lecture Notes in Computer Science, стр. 106-121. Springer, (2008)Parallel Model Checking for Temporal Epistemic Logic., , и . ECAI, том 215 из Frontiers in Artificial Intelligence and Applications, стр. 543-548. IOS Press, (2010)Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems., , , и . NeSy, том 3432 из CEUR Workshop Proceedings, стр. 427. CEUR-WS.org, (2023)