Michał Knapik

Available identifiers

zbMath Open knapik.michal-jozefMaRDI QIDQ2032912

List of research outcomes

Publication	Date of Publication	Type
Parametric verification: an introduction	2021-06-14	Paper
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol	2021-02-08	Paper
Approximate verification of strategic abilities under imperfect information	2020-01-20	Paper
Timed ATL: Forget Memory, Just Count	2019-10-11	Paper
Parameter Synthesis for Timed Kripke Structures	2014-12-22	Paper
Bounded Model Checking for Parametric Timed Automata	2012-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q3081898	2011-03-09	Paper
Bounded Parametric Model Checking for Elementary Net Systems	2011-01-08	Paper
Parametric Model Checking with VerICS	2011-01-08	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michał Knapik