Rafał Somla

Available identifiers

zbMath Open somla.rafalMaRDI QIDQ845831

List of research outcomes

Publication	Date of Publication	Type
New algorithms for solving simple stochastic games	2013-09-20	Paper
Parallel model checking for \texttt{LTL}, \texttt{CTL}\(^*\), and \(L^2_{\mu}\)	2013-08-30	Paper
Propositional dynamic logic of context-free programs and fixpoint logic with chop	2010-01-29	Paper
The Complexity of Model Checking Higher-Order Fixpoint Logic	2007-10-11	Paper
Mathematical Foundations of Computer Science 2005	2006-10-20	Paper
Algorithms counting monotone Boolean functions	2002-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4507812	2000-11-21	Paper

Research outcomes over time

This page was built for person: Rafał Somla