scientific article; zbMATH DE number 5604066

MaRDI QIDQ3395949zbMATH OpenFDO

Authors Mariëlle I. A. Stoelinga

Publication date 15 September 2009

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(8)

• Layered reasoning for randomized distributed algorithms
• \(L^\ast\)-based learning of Markov decision processes (extended version)
• DNA sequence reconstruction based on innovated hybridization technique of probabilistic cellular automata and particle swarm optimization
• Probabilistic -calculus and event structures
• Probabilistic Arithmetic Automata and Their Application to Pattern Matching Statistics
• Deterministic finite and probabilistic automata in infinitely repeated ``prisoners dilemma
• Compositional reasoning for parametric probabilistic automata
• On metrics for probabilistic systems: definitions and algorithms

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3395949)