Michał Knapik

From MaRDI portal
Person:2032912

Available identifiers

zbMath Open knapik.michal-jozefMaRDI QIDQ2032912

List of research outcomes





PublicationDate of PublicationType
Parametric verification: an introduction2021-06-14Paper
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol2021-02-08Paper
Approximate verification of strategic abilities under imperfect information2020-01-20Paper
Timed ATL: Forget Memory, Just Count2019-10-11Paper
Parameter Synthesis for Timed Kripke Structures2014-12-22Paper
Bounded Model Checking for Parametric Timed Automata2012-06-08Paper
https://portal.mardi4nfdi.de/entity/Q30818982011-03-09Paper
Parametric Model Checking with VerICS2011-01-08Paper
Bounded Parametric Model Checking for Elementary Net Systems2011-01-08Paper

Research outcomes over time

This page was built for person: Michał Knapik

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2032912&oldid=6578932"
Powered by MediaWiki