Mateusz Kaminski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2024–2025
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IJCAI | NatSTV: Towards Verification of Natural Strategic Ability. | Mateusz Kaminski, Damian Kurpiewski, Wojciech Jamroga |
| 2024 | ECAI | STV+FLY: On-the-Fly Model Checking of Strategic Ability in Multi-Agent Systems. | Damian Kurpiewski, Mateusz Kaminski, Wojciech Jamroga |