Yan Kim

According to our database, Yan Kim authored at least 8 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Scalable Verification of Social Explainable AI by Variable Abstraction.

Wojciech Jamroga, Yan Kim, Damian Kurpiewski

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023

Practical Abstraction for Model Checking of Multi-Agent Systems.

Wojciech Jamroga, Yan Kim

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Practical Model Reductions for Verification of Multi-Agent Systems.

Wojciech Jamroga, Yan Kim

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020.

Wojciech Jamroga, Peter Y. A. Ryan, Yan Kim

CoRR, 2022

2021

STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions.

Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Computational Classification of Tubular Algebras.

Piotr Dowbor, Yan Kim

Fundam. Informaticae, 2020

Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal.

Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan

CoRR, 2020

Towards Model Checking of Voting Protocols in Uppaal.

Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan

Proceedings of the Electronic Voting - 5th International Joint Conference, 2020