Scholar
Wojciech Penczek
Google Scholar ID: KFwHuRIAAAAJ
Professor of Computer Science, ICS PAS (Warsaw)
Model checking
Formal methods
Petri Nets
Real-time systems
Multi-agent systems
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
777
H-index
14
i10-index
27
Publications
20
Co-authors
35
list available
Publications
4 items
Towards Probabilistic Strategic Timed CTL
2026
Cited
0
IMITATOR4AMAS: Strategy Synthesis for STCTL
2026
Cited
0
Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems
2025
Cited
0
Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies
arXiv.org · 2024
Cited
0
Co-authors
4 total
Alessio R Lomuscio
Imperial College London
Wojciech Jamroga
Polish Academy of Sciences
Laure Petrucci
LIPN, CNRS UMR 7030, Université Paris 13
Étienne André
Université Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France
