Probabilistic verification beyond context-freeness (Q6649464)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Probabilistic verification beyond context-freeness |
scientific article; zbMATH DE number 7954848
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Probabilistic verification beyond context-freeness |
scientific article; zbMATH DE number 7954848 |
Statements
Probabilistic verification beyond context-freeness (English)
0 references
6 December 2024
0 references
computing termination probability
0 references
deciding almost sure termination
0 references
first-order theory of the reals
0 references
probabilistic (affine additive) higher-order recursion schemes
0 references
restricted (probabilistic) tree stack automata
0 references
0 references
0 references
