Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems - MaRDI portal

Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems

From MaRDI portal

Publication:2911645

Jump to:navigation, search

DOI10.4230/LIPICS.FSTTCS.2011.445zbMath1246.68144OpenAlexW2096349874MaRDI QIDQ2911645

Hongfei Fu, Joost-Pieter Katoen

Publication date: 31 August 2012

Full work available at URL: https://doi.org/10.4230/LIPIcs.FSTTCS.2011.445

zbMATH Keywords

infinite-state systems probabilistic simulation probabilistic pushdown automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems ⋮ Unnamed Item

This page was built for publication: Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2911645&oldid=15879155"