Yan Kim

16 papers A* 3A 2Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2025 A* conf
Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models.
IJCAI
Damian Kurpiewski, Wojciech Jamroga, Yan Kim
2025 A conf
Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems.
AAMAS
Yan Kim, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci
2025 J jnl
Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems.
CoRR
Yan Kim, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci
2024 — conf
"You Shall Not Abstain!" A Formal Study of Forced Participation.
FC Workshops
Wojciech Jamroga, Peter B. Roenne, Yan Kim, Peter Y. A. Ryan
2024 — conf
Scalable Verification of Social Explainable AI by Variable Abstraction.
ICAART (1)
Wojciech Jamroga, Yan Kim, Damian Kurpiewski
2023 A* conf
Practical Abstraction for Model Checking of Multi-Agent Systems.
KR
Wojciech Jamroga, Yan Kim
2023 A* conf
Practical Model Reductions for Verification of Multi-Agent Systems.
IJCAI
Wojciech Jamroga, Yan Kim
2023 J jnl
Practical Model Reductions for Verification of Multi-Agent Systems.
CoRR
Wojciech Jamroga, Yan Kim
2023 J jnl
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions.
CoRR
Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim
2022 J jnl
Practical Abstraction for Model Checking of Multi-Agent Systems.
CoRR
Wojciech Jamroga, Yan Kim
2022 — conf
Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020.
STAST
Yan Kim, Wojciech Jamroga, Peter Y. A. Ryan
2022 J jnl
Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020.
CoRR
Wojciech Jamroga, Peter Y. A. Ryan, Yan Kim
2021 A conf
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions.
AAMAS
Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim
2020 J jnl
Computational Classification of Tubular Algebras.
Fundam. Informaticae
Piotr Dowbor, Yan Kim
2020 J jnl
Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal.
CoRR
Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan
2020 — conf
Towards Model Checking of Voting Protocols in Uppaal.
E-VOTE-ID
Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan