Adam Antonik

Available identifiers

zbMath Open antonik.adamMaRDI QIDQ2810965

List of research outcomes

Publication	Date of Publication	Type
On the complexity of semantic self-minimization	2016-06-06	Paper
Polynomial-Time Under-Approximation of Winning Regions in Parity Games	2015-03-23	Paper
EXPTIME-complete decision problems for modal and mixed specifications	2014-07-23	Paper
Efficient patterns for model checking partial state spaces in CTL \(\cap\) LTL	2013-10-10	Paper
Modal and mixed specifications: key decision problems and their complexities	2010-04-01	Paper
20 years of modal and mixed specifications.	2009-09-19	Paper
Complexity of Decision Problems for Mixed and Modal Specifications	2008-04-11	Paper

Research outcomes over time

This page was built for person: Adam Antonik