Yan Kim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IJCAI | Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models. | Damian Kurpiewski, Wojciech Jamroga, Yan Kim |
| 2024 | FC | "You Shall Not Abstain!" A Formal Study of Forced Participation. | Wojciech Jamroga, Peter B. Roenne, Yan Kim, Peter Y. A. Ryan |
| 2024 | ICAART | Scalable Verification of Social Explainable AI by Variable Abstraction. | Wojciech Jamroga, Yan Kim, Damian Kurpiewski |
| 2023 | IJCAI | Practical Model Reductions for Verification of Multi-Agent Systems. | Wojciech Jamroga, Yan Kim |
| 2023 | KR | Practical Abstraction for Model Checking of Multi-Agent Systems. | Wojciech Jamroga, Yan Kim |