Michał Knapik

MaRDI QIDQ2032912zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Parametric verification: an introduction (available as arXiv preprint)	2021-06-14	Paper
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol Information and Computation	2021-02-08	Paper
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol Information and Computation	2021-02-08	Paper
Approximate verification of strategic abilities under imperfect information Artificial Intelligence	2020-01-20	Paper
Timed ATL: Forget Memory, Just Count Journal of Artificial Intelligence Research	2019-10-11	Paper
Parameter Synthesis for Timed Kripke Structures Fundamenta Informaticae	2014-12-22	Paper
Bounded Model Checking for Parametric Timed Automata Lecture Notes in Computer Science	2012-06-08	Paper
Bounded parametric verification for distributed time Petri nets with discrete-time semantics	2011-03-09	Paper
Parametric model checking with VerICS Transactions on Petri Nets and Other Models of Concurrency IV	2011-01-08	Paper
Bounded parametric model checking for elementary net systems Transactions on Petri Nets and Other Models of Concurrency IV	2011-01-08	Paper

Research outcomes over time

This page was built for person: Michał Knapik