Wojciech Penczek

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 60

Top Venues

Publications

Artur Niewiadomski, Maciej Nazarczuk, Mateusz Przychodzki, Magdalena Kacprzak, Wojciech Penczek, Andrzej Zbrzezny
SMT4SMTL: A Tool for SMT-Based Satisfiability Checking of SMTL. AAMAS (2024)
Artur Meski, Maciej Koutny, Lukasz Mikulski, Wojciech Penczek
Reaction mining for reaction systems. Nat. Comput. 23 (2) (2024)
Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models. IEEE Trans. Reliab. 73 (2) (2024)
Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models. CoRR (2023)
Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek
Multi-Valued Verification of Strategic Ability. CoRR (2023)
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
Strategic (Timed) Computation Tree Logic. CoRR (2023)
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
Strategic (Timed) Computation Tree Logic. AAMAS (2023)
Damian Kurpiewski, Wojciech Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. CoRR (2023)
Wojciech Penczek
Model Checking of Strategic Timed Temporal Logics (Invited Talk). PNSE@Petri Nets (2023)
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga
MsATL: a Tool for SAT-Based ATL Satisfiability Checking. CoRR (2023)
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek, Andrzej Zbrzezny
SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic. ECAI (2023)
Wojtek Jamroga, Lukasz Mako, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. AiML (2022)
Jaime Arias, Michal Knapik, Wojciech Penczek, Laure Petrucci
Modular Analysis of Tree-Topology Models. ICFEM (2022)
Jaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. ICECCS (2022)
Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
ADT2AMAS: Managing Agents in Attack-Defence Scenarios. AAMAS (2021)
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk
Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. KR (2021)
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek
Satisfiability Checking of Strategy Logic with Simple Goals. KR (2021)
Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. CoRR (2021)
Michal Kanski, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek
SMT-Based Unbounded Model Checking for ATL. VECoS (2021)
Jörg Keller, Wojciech Penczek
Preface. Fundam. Informaticae 182 (1) (2021)
Holger Schlingloff, Wojciech Penczek
Preface. Fundam. Informaticae 179 (2) (2021)
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk
Strategic Abilities of Asynchronous Agents: Semantic Side Effects. AAMAS (2021)
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk
Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and How to Tame Them. CoRR (2020)
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga
MsATL: A Tool for SAT-Based ATL Satisfiability Checking. AAMAS (2020)
Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. ICFEM (2020)
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz
Towards Partial Order Reductions for Strategic Ability. J. Artif. Intell. Res. 68 (2020)
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek
SAT-Based ATL Satisfiability Checking. KR (2020)
Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek
Multi-valued Verification of Strategic Ability. Fundam. Informaticae 175 (1-4) (2020)
Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek
SAT-Based ATL Satisfiability Checking. CoRR (2020)
Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci
Parametric Verification: An Introduction. CoRR (2019)
Laure Petrucci, Michal Knapik, Wojciech Penczek, Teofil Sidoruk
Squeezing State Spaces of (Attack-Defence) Trees. ICECCS (2019)
Wojciech Penczek, Holger Schlingloff, Piotr Wasilewski
Preface. Fundam. Informaticae 165 (3-4) (2019)
Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci
Parametric Verification: An Introduction. Trans. Petri Nets Other Model. Concurr. 14 (2019)
Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Mariëlle Stoelinga
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems. CoRR (2019)
Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek
Applying Modern SAT-solvers to Solving Hard Problems. Fundam. Informaticae 165 (3-4) (2019)
Victor Khomenko, Jetty Kleijn, Wojciech Penczek, Olivier H. Roux
Preface. Fundam. Informaticae 169 (1-2) (2019)
Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek
Timed ATL: Forget Memory, Just Count. J. Artif. Intell. Res. 66 (2019)
Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME. Sci. Ann. Comput. Sci. 28 (2) (2018)
Wojciech Jamroga, Wojciech Penczek, Piotr Dembinski, Antoni W. Mazurkiewicz
Towards Partial Order Reductions for Strategic Ability. AAMAS (2018)
Artur Meski, Maciej Koutny, Wojciech Penczek
Reaction Mining for Reaction Systems. UCNC (2018)
Wojciech Penczek
Improving Efficiency of Model Checking for Variants of Alternating-time Temporal Logic. CS&P (2018)
Wil M. P. van der Aalst, Eike Best, Wojciech Penczek
Preface. Fundam. Informaticae 161 (4) (2018)
Ludwik Czaja, Wojciech Penczek, Holger Schlingloff, Hung Son Nguyen
Preface. Fundam. Informaticae 157 (4) (2018)
Artur Niewiadomski, Piotr Switalski, Marcin Kowalczyk, Wojciech Penczek
TripICS - a Web Service Composition System for Planning Trips and Travels. Fundam. Informaticae 157 (4) (2018)
Étienne André, Laure Petrucci, Wojciech Jamroga, Michal Knapik, Wojciech Penczek
Timed ATL: Forget Memory, Just Count. AAMAS (2017)
Artur Meski, Maciej Koutny, Wojciech Penczek
Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations. Fundam. Informaticae 154 (1-4) (2017)
Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz, Maciej Szreter, Agata Pólrola
Combining ontology reductions with new approaches to automated abstract planning of Planics. Appl. Soft Comput. 53 (2017)
Artur Niewiadomski, Wojciech Penczek
TripICS - a Web Service Composition System for Planning Trips and Travels (extended abstract). CS&P (2016)
Raymond R. Devillers, Antti Valmari, Wojciech Penczek
Preface. Fundam. Informaticae 146 (1) (2016)
Ludwik Czaja, Wojciech Penczek, Krzysztof Stencel
Preface. Fundam. Informaticae 143 (1-2) (2016)
Artur Meski, Maciej Koutny, Wojciech Penczek
Towards Quantitative Verification of Reaction Systems. UCNC (2016)
Étienne André, Michal Knapik, Wojciech Penczek, Laure Petrucci
Controlling Actions and Time in Parametric Timed Automata. ACSD (2016)
Artur Niewiadomski, Jaroslaw Skaruz, Piotr Switalski, Wojciech Penczek
Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing. Fundam. Informaticae 147 (2-3) (2016)
Wojciech Jamroga, Beata Konikowska, Wojciech Penczek
Multi-Valued Verification of Strategic Ability. AAMAS (2016)
Ludwik Czaja, Wojciech Penczek, Krzysztof Stencel
Preface. Fundam. Informaticae 147 (2-3) (2016)
Artur Niewiadomski, Wojciech Penczek
SMT-Based Abstract Parametric Temporal Planning. Trans. Petri Nets Other Model. Concurr. 10 (2015)
Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek
Hybrid Planning by Combining SMT and Simulated Annealing. CS&P (2015)
Michal Knapik, Artur Niewiadomski, Wojciech Penczek
Generating None-Plans in Order to Find Plans. SEFM (2015)
Artur Meski, Wojciech Penczek, Grzegorz Rozenberg
Model checking temporal properties of reaction systems. Inf. Sci. 313 (2015)
Michal Knapik, Artur Meski, Wojciech Penczek
Action Synthesis for Branching Time Logic: Theory and Applications. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Artur Niewiadomski, Wojciech Penczek
PlanICS 2.0 - A Tool for Composing Services. PNSE @ Petri Nets (2014)
Michal Knapik, Wojciech Penczek
Fixed-Point Methods in Parametric Model Checking. IEEE Conf. on Intelligent Systems (1) (2014)
Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance. Auton. Agents Multi Agent Syst. 28 (4) (2014)
Artur Niewiadomski, Wojciech Penczek
SMT-based Abstract Temporal Planning. PNSE @ Petri Nets (2014)
Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz
A Hybrid Approach to Web Service Composition Problem in the PlanICS Framework. MobiWIS (2014)
Wojciech Penczek, Ludwik Czaja
Preface. Fundam. Informaticae 135 (4) (2014)
Artur Niewiadomski, Jaroslaw Skaruz, Wojciech Penczek, Maciej Szreter, Mariusz Jarocki
SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework. Fundam. Informaticae 135 (4) (2014)
Michal Knapik, Artur Meski, Wojciech Penczek
Action Synthesis for Branching Time Logic: Theory and Applications. ACSD (2014)
Michal Knapik, Wojciech Penczek
Parameter Synthesis for Timed Kripke Structures. Fundam. Informaticae 133 (2-3) (2014)
Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek
Evolutionary Algorithms for Abstract Planning. PPAM (1) (2013)
Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets. Trans. Petri Nets Other Model. Concurr. 8 (2013)
Artur Niewiadomski, Wojciech Penczek, Jaroslaw Skaruz
SMT vs Genetic Algorithms: Concrete Planning in PlanICS Framework. CS&P (2013)
Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek
Automated abstract planning with use of genetic algorithms. GECCO (Companion) (2013)
Lars Michael Kristensen, Wojciech Penczek, Laure Petrucci
Preface. Fundam. Informaticae 122 (1-2) (2013)
Michal Knapik, Wojciech Penczek
Parameter Synthesis for Timed Kripke Structures. CS&P (2013)
Artur Niewiadomski, Wojciech Penczek
Towards SMT-based Abstract Planning in PlanICS Ontology. KEOD (2013)
Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios. Fundam. Informaticae 120 (2) (2012)
Andrew V. Jones, Michal Knapik, Wojciech Penczek, Alessio Lomuscio
Group synthesis for parametric temporal-epistemic logic. AAMAS (2012)
Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems. Fundam. Informaticae 119 (3-4) (2012)
Michal Knapik, Wojciech Penczek
Bounded Model Checking for Parametric Timed Automata. Trans. Petri Nets Other Model. Concurr. 5 (2012)
Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Jaroslaw Skaruz
HarmonICS - a Tool for Composing Medical Services. ZEUS (2012)
Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge. KES-AMSTA (2012)
Artur Meski, Wojciech Penczek, Maciej Szreter
Bounded Model Checking for Linear Time Temporal-Epistemic Logic. ICCSW (2012)
Alessio Lomuscio, Wojciech Penczek
Symbolic Model Checking for Temporal-Epistemic Logic. Logic Programs, Norms and Action (2012)
Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets. PNSE (2012)
Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
Bounded model checking for knowledge and linear time. AAMAS (2012)
Michal Knapik, Wojciech Penczek
SMT-based parameter synthesis for L/U automata. PNSE (2012)
Wojciech Penczek
Preface. Fundam. Informaticae 120 (3-4) (2012)
Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny
PlanICS - a Web Service Composition Toolset. Fundam. Informaticae 112 (1) (2011)
Wojciech Jamroga, Wojciech Penczek
Specification and Verification of Multi-Agent Systems. ESSLLI (2011)
Johan Lilius, Wojciech Penczek
Preface. Fundam. Informaticae 113 (3-4) (2011)
Alessio Lomuscio, Wojciech Penczek, Monika Solanki, Maciej Szreter
Runtime Monitoring of Contract Regulated Web Services. Fundam. Informaticae 111 (3) (2011)
Artur Meski, Agata Pólrola, Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets. PNSE (2011)
Artur Meski, Wojciech Penczek, Agata Pólrola
BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets. Fundam. Informaticae 109 (3) (2011)
Wojciech Penczek
Preface. Fundam. Informaticae 112 (1) (2011)
Giuliana Franceschinis, Wojciech Penczek, Karsten Wolf
Preface. Fundam. Informaticae 105 (3) (2010)
Michal Knapik, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny
Parametric Model Checking with VerICS. Trans. Petri Nets Other Model. Concurr. 4 (2010)
Alessio Lomuscio, Wojciech Penczek, Hongyang Qu
Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems. Fundam. Informaticae 101 (1-2) (2010)
Alessio Lomuscio, Monika Solanki, Wojciech Penczek, Maciej Szreter
Runtime monitoring of contract regulated web services. AAMAS (2010)
Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny
SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets. Trans. Petri Nets Other Model. Concurr. 4 (2010)

Wojciech Penczek.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wojciech Penczek