Damian Kurpiewski

41 papers A* 3A 8B 3C 1Journal 20Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models. IJCAI Damian Kurpiewski, Wojciech Jamroga, Yan Kim
2025	J	`jnl`	Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic. CoRR Damian Kurpiewski, Jedrzej Michalczyk, Wojciech Jamroga, Jerzy Julian Michalski, Teofil Sidoruk
2025	A*	`conf`	NatSTV: Towards Verification of Natural Strategic Ability. IJCAI Mateusz Kaminski, Damian Kurpiewski, Wojciech Jamroga
2025	J	`jnl`	Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems. CoRR Wojciech Jamroga, Damian Kurpiewski, Lukasz Mikulski
2024	J	`jnl`	Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies. CoRR Dilian Gurov, Filip Jamroga, Wojciech Jamroga, Mateusz Kaminski, Damian Kurpiewski, Wojciech Penczek, Teofil Sidoruk
2024	A	`conf`	STV+FLY: On-the-Fly Model Checking of Strategic Ability in Multi-Agent Systems. ECAI Damian Kurpiewski, Mateusz Kaminski, Wojciech Jamroga
2024	A	`conf`	STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow. AAMAS Mateusz Kaminski, Damian Kurpiewski, Wojciech Jamroga
2024	—	`conf`	Scalable Verification of Social Explainable AI by Variable Abstraction. ICAART (1) Wojciech Jamroga, Yan Kim, Damian Kurpiewski
2023	J	`jnl`	Assume-Guarantee Verification of Strategic Ability. CoRR Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
2023	J	`jnl`	MsATL: a Tool for SAT-Based ATL Satisfiability Checking. CoRR Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga
2023	J	`jnl`	Multi-Valued Verification of Strategic Ability. CoRR Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek
2023	C	`conf`	Pretty Good Strategies and Where to Find Them. EUMAS Wojciech Jamroga, Damian Kurpiewski
2023	J	`jnl`	Pretty Good Strategies and Where to Find Them. CoRR Wojciech Jamroga, Damian Kurpiewski
2023	J	`jnl`	STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. CoRR Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim
2023	J	`jnl`	Towards Assume-Guarantee Verification of Strategic Ability. CoRR Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
2023	—	`conf`	Towards Modelling and Verification of Social Explainable AI. ICAART (1) Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk
2023	J	`jnl`	Towards Modelling and Verification of Social Explainable AI. CoRR Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk
2023	J	`jnl`	Verification of Multi-Agent Properties in Electronic Voting: A Case Study. CoRR Damian Kurpiewski, Wojciech Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk
2022	B	`conf`	Assume-Guarantee Verification of Strategic Ability. PRIMA Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
2022	J	`jnl`	How to measure usable security: Natural strategies in voting protocols. J. Comput. Secur. Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
2022	J	`jnl`	STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning. CoRR Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga
2022	B	`conf`	STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. PRIMA Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga
2022	A	`conf`	Towards Assume-Guarantee Verification of Strategic Ability. AAMAS Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
2022	B	`conf`	Verification of Multi-Agent Properties in Electronic Voting: A Case Study. AiML Wojtek Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski
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`	Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal. CoRR Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan
2020	A	`conf`	MsATL: A Tool for SAT-Based ATL Satisfiability Checking. AAMAS Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga
2020	J	`jnl`	Multi-valued Verification of Strategic Ability. Fundam. Informaticae Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek
2020	—	`conf`	Natural Strategic Abilities in Voting Protocols. STAST Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
2020	J	`jnl`	Natural Strategic Abilities in Voting Protocols. CoRR Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
2020	—	`conf`	Towards Model Checking of Voting Protocols in Uppaal. E-VOTE-ID Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan
2019	J	`jnl`	Approximate verification of strategic abilities under imperfect information. Artif. Intell. Wojciech Jamroga, Michal Knapik, Damian Kurpiewski, Lukasz Mikulski
2019	A	`conf`	On Domination and Control in Strategic Ability. AAMAS Damian Kurpiewski, Michal Knapik, Wojciech Jamroga
2019	—	`conf`	On Domination and Control in Strategic Ability. BNAIC/BENELEARN Damian Kurpiewski, Michal Knapik, Wojciech Jamroga
2019	A	`conf`	STV: Model Checking for Strategies under Imperfect Information. AAMAS Damian Kurpiewski, Wojciech Jamroga, Michal Knapik
2019	J	`jnl`	Strategic logics for collaborative embedded systems. SICS Softw.-Intensive Cyber Phys. Syst. Damian Kurpiewski, Diego Marmsoler
2019	A*	`conf`	Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. IJCAI Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano
2018	—	`conf`	Model Checking the SELENE E-Voting Protocol in Multi-agent Logics. E-Vote-ID Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
2017	A	`conf`	Fixpoint Approximation of Strategic Abilities under Imperfect Information. AAMAS Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
2016	J	`jnl`	An Approach to Model Checking ATLir. CoRR Wojciech Jamroga, Michal Knapik, Damian Kurpiewski
2015	J	`jnl`	Approximating Strategic Abilities under Imperfect Information: a Naive Approach. CoRR Wojciech Jamroga, Michal Knapik, Damian Kurpiewski