scientific article
From MaRDI portal
Publication:3384891
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1809.03104
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- A survey of stochastic \(\omega \)-regular games
- Conjunctive query containment over trees
- Model Checking Stochastic Branching Processes
- Between Tree Patterns and Conjunctive Queries: Is There Tractability beyond Acyclicity?
- Measure Properties of Game Tree Languages
- Probabilistic Databases
- Provenance Circuits for Trees and Treelike Instances
- Probabilistic modal {\mu}-calculus with independent product
- An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
