Thin MSO with a Probabilistic Path Quantifier.

DOI10.4230/LIPICS.ICALP.2016.96zbMath1387.03005OpenAlexW2538671723MaRDI QIDQ4598237

Mikołaj Bojańczyk

Publication date: 19 December 2017

Full work available at URL: https://doi.org/10.4230/LIPIcs.ICALP.2016.96

zbMATH Keywords

automatainfinite treesMSOprobabilistic temporal logics

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44)

Related Items (1)

Unnamed Item

This page was built for publication: Thin MSO with a Probabilistic Path Quantifier.