Mateusz Kaminski

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Information Flow

Multi Context Systems

Top Venues

Publications

Mateusz Kaminski, Damian Kurpiewski, Wojciech Jamroga
STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow. AAMAS (2024)