Damian Kurpiewski

Experience

Skills

Projects

Didactics

• Hard Topics in Easiest Way, my Magnum Opus. Presentations for computer science lessons, algorithms and their implementations in such languages as C++ or Python and many, many more.
  https://edu.cs-htiew.com
• Counter machine simulator implemented in Google Blockly
  https://blackbat13.github.io/blockly-counter-machine/

Science

• STV Model Checker
  https://github.com/blackbat13/stv
• STV Model Checker - C++ implementation
  https://github.com/blackbat13/ATLFormulaCheckerC
• MonoSatATL Graphical Interface
  https://github.com/blackbat13/MonosatATL-gui

Programming

• Different, interesting visualizations and animations
  https://github.com/blackbat13/Visul
• A simple, educational simulation of the Covid-19 virus
  https://github.com/blackbat13/VirusSimulation
• Coloring the maze, which is a simple, yet strangely satisfying game
  https://blackbat13.github.io/ColorTheMaze/
• Words Games Helper - simple tool that helps solving words games like Wordle
  https://blackbat13.github.io/WGH/

Games

Articles

• 
  

  2025

  ---

• Damian Kurpiewski, Wojciech Jamroga, Yan Kim
  Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models . IJCAI 2025: TBA
  
• Mateusz Kamiński, Damian Kurpiewski, Wojciech Jamroga
  NatSTV: Towards Verification of Natural Strategic Ability . IJCAI 2025: TBA
  slides
• 
  

  2024

  ---

• Damian Kurpiewski, Mateusz Kamiński, Wojciech Jamroga
  STV+FLY: On-the-Fly Model Checking of Strategic Ability in Multi-Agent Systems . ECAI 2024: 4483-4486
  
• Mateusz Kamiński, Damian Kurpiewski, Wojciech Jamroga
  TSTV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow . AAMAS 2024: 2812-2814
  Best Demo Award
• Wojciech Jamroga, Yan Kim, Damian Kurpiewski
  Scalable Verification of Social Explainable AI by Variable Abstraction . ICAART (1) 2024: 149-158
  
• 
  

  2023

  ---

• Wojciech Jamroga, Damian Kurpiewski, Łukasz Mikulski, Teofil Sidoruk
  Trust Topologies in Verification of Social Explainable AI . TLXXIII BLESS
  slides
• Damian Kurpiewski, Wojciech Jamroga
  Pretty Good Strategies and Where to Find Them . EUMAS 2023
• Damian Kurpiewski, Wojtek Jamroga, Teofil Sidoruk
  Towards Modelling and Verification of Social Explainable AI . ICAART 2023
• 
  

  2022

  ---

• Łukasz Mikulski, Wojtek Jamroga, Damian Kurpiewski
  Assume-Guarantee Verification of Strategic Ability . PRIMA 2022
• Damian Kurpiewski, Łukasz Mikulski, Wojtek Jamroga
  STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning . PRIMA 2022
  slides
• Damian Kurpiewski, Wojtek Jamroga, Łukasz Maśko, Łukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk
  Verification of Multi-Agent Properties in Electronic Voting: A Case Study . AiML 2022
  slides
• Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
  How to measure usable security: Natural strategies in voting protocols . J. Comput. Secur. 30(3): 381-409 (2022)
• Łukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
  Towards Assume-Guarantee Verification of Strategic Ability . AAMAS 2022: 1702-1704
• 
  

  2021

  ---

• Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim
  STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions . AAMAS 2021: 1770-1772
  slides
• 
  

  2020

  ---

• Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek
  Multi-valued Verification of Strategic Ability . Fundam. Informaticae 175(1-4): 207-251 (2020)
• Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan
  Towards Model Checking of Voting Protocols in Uppaal . E-Vote-ID 2020: 129-146
• Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
  Natural Strategic Abilities in Voting Protocols . STAST 2020: 45-62
• Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michał Knapik, Wojciech Penczek, Wojciech Jamroga:
  MsATL: A Tool for SAT-Based ATL Satisfiability Checking . AAMAS 2020: 2111-2113
• 
  

  2019

  ---

• Wojciech Jamroga, Michał Knapik, Damian Kurpiewski, Łukasz Mikulski:
  Approximate verification of strategic abilities under imperfect information . Artificial Intelligence, Volume 277 (2019)
• Damian Kurpiewski, Diego Marmsoler:
  Strategic logics for collaborative embedded systems . SICS Software-Intensive Cyber-Physical Systems, Volume 34: 201-212 (2019)
• Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano:
  Strategy Logic with Simple Goals: Tractable Reasoning about Strategies . IJCAI 2019: 88-94
• Damian Kurpiewski, Krzysztof Skowronek:
  Trudne Tematy w Najprostszy Sposób: Wprowadzenie do Zmiennych . IWE 2019: 289-297
• Wojciech Jamroga, Michał Knapik, Damian Kurpiewski:
  On Domination and Control in Strategic Ability . AAMAS 2019: 197-205
• Wojciech Jamroga, Michał Knapik, Damian Kurpiewski:
  STV: Model Checking for Strategies under Imperfect Information . AAMAS 2019: 2372-2374
• 
  

  2018

  ---

• Wojciech Jamroga, Michał Knapik, Damian Kurpiewski:
  Model Checking the SELENE E-Voting Protocol in Multi-agent Logics . E-Vote-ID 2018: 100-116
• Damian Kurpiewski, Krzysztof Skowronek, Mirosława Firszt:
  Trudne Tematy w Najprostszy Sposób . IWE 2018: 244-247
• Damian Kurpiewski, Krzysztof Skowronek, Mirosława Firszt:
  Trudne Tematy w Najprostszy Sposób: Rekurencja . IWE 2018: 248-252
• 
  

  2017

  ---

• Wojciech Jamroga, Michał Knapik, Damian Kurpiewski:
  Fixpoint Approximation of Strategic Abilities under Imperfect Information . AAMAS 2017: 1241-1249
• Damian Kurpiewski:
  Programowanie: jak uczyć, z pomocą czego i dlaczego . IWE 2017: 95-104
• 
  

  2016

  ---

• Wojciech Jamroga, Michał Knapik, Damian Kurpiewski:
  An Approach to Model Checking ATLir . CoRR abs/1612.02684 (2016)
• 
  

  2015

  ---

• Wojciech Jamroga, Michał Knapik, Damian Kurpiewski:
  Approximating Strategic Abilities under Imperfect Information: a Naive Approach . CoRR abs/1510.06587 (2015)
• Mirosława Firszt, Marlena Kamińska, Martyna Kaszlewicz, Damian Kurpiewski, Kamil Palusiński, Krzysztof Skowronek:
  Propozycja Wykorzystania Systemów Blockly w Nauczaniu Informatyki. IWE 2015