Yan Kim

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 11

Top Topics

Linear Temporal Logic

Top Venues

Fundam. Informaticae

Publications

Wojciech Jamroga, Yan Kim, Damian Kurpiewski
Scalable Verification of Social Explainable AI by Variable Abstraction. ICAART (1) (2024)
Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. CoRR (2023)
Wojciech Jamroga, Yan Kim
Practical Abstraction for Model Checking of Multi-Agent Systems. KR (2023)
Wojciech Jamroga, Yan Kim
Practical Model Reductions for Verification of Multi-Agent Systems. IJCAI (2023)
Wojciech Jamroga, Yan Kim
Practical Model Reductions for Verification of Multi-Agent Systems. CoRR (2023)
Wojciech Jamroga, Yan Kim
Practical Abstraction for Model Checking of Multi-Agent Systems. CoRR (2022)
Wojciech Jamroga, Peter Y. A. Ryan, Yan Kim
Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020. CoRR (2022)
Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. AAMAS (2021)
Piotr Dowbor, Yan Kim
Computational Classification of Tubular Algebras. Fundam. Informaticae 177 (1) (2020)
Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan
Towards Model Checking of Voting Protocols in Uppaal. E-VOTE-ID (2020)
Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan
Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal. CoRR (2020)