Magdalena Kacprzak

Politechnika Bialostocka

H-index: 16

Europe-Poland

Magdalena Kacprzak, With an exceptional h-index of 16 and a recent h-index of 7 (since 2020), a distinguished researcher at Politechnika Bialostocka,

His recent articles reflect a diverse array of research interests and contributions to the field:

SMT4SMTL: a Tool for SMT-Based Satisfiability Checking of SMTL

MsATL: A tool for SAT-based ATL satisfiability checking

SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic

Unbounded model checking for ATL

SMT-based unbounded model checking for ATL

Satisfiability checking of strategy logic with simple goals

SAT-based ATL satisfiability checking

Title	Journal	Author(s)	Publication Date
SMT4SMTL: a Tool for SMT-Based Satisfiability Checking of SMTL		Artur Niewiadomski Maciej Nazarczuk Mateusz Przychodzki Magdalena Kacprzak Wojciech Penczek ...	2024/5/6
MsATL: A tool for SAT-based ATL satisfiability checking	arXiv preprint arXiv:2310.16519	Artur Niewiadomski Magdalena Kacprzak Damian Kurpiewski Michał Knapik Wojciech Penczek ...	2023/10/25
SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic		Magdalena Kacprzak Artur Niewiadomski Wojciech Penczek Andrzej Zbrzezny	2023
Unbounded model checking for ATL	Studia Informatica. System and information technology	Michał Kański Artur Niewiadomski Magdalena Kacprzak Wojciech Penczek Wojciech Nabiałek	2021/12/23
SMT-based unbounded model checking for ATL		Michał Kański Artur Niewiadomski Magdalena Kacprzak Wojciech Penczek Wojciech Nabiałek	2021/11/22
Satisfiability checking of strategy logic with simple goals		Magdalena Kacprzak Artur Niewiadomski Wojciech Penczek	2021/9/30
SAT-based ATL satisfiability checking	arXiv preprint arXiv:2002.03117	Magdalena Kacprzak Artur Niewiadomski Wojciech Penczek	2020/2/8

Useful Links