scientific article
From MaRDI portal
Publication:3395949
zbMath1169.68494MaRDI QIDQ3395949
Publication date: 15 September 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (6)
Probabilistic Arithmetic Automata and Their Application to Pattern Matching Statistics ⋮ Layered reasoning for randomized distributed algorithms ⋮ \(L^\ast\)-based learning of Markov decision processes (extended version) ⋮ On metrics for probabilistic systems: definitions and algorithms ⋮ DNA sequence reconstruction based on innovated hybridization technique of probabilistic cellular automata and particle swarm optimization ⋮ Probabilistic π-Calculus and Event Structures
This page was built for publication:
