Pushdown processes: Games and model-checking
type: Item
instance of: scholarly article
title: Pushdown processes: Games and model-checking
zbMATH Open document ID: 1003.68072
author: Igor Walukiewicz
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q17
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 91A05
zbMATH DE Number: 1853152
MaRDI profile type: Publication
full work available at URL: inco.2000.2894
OpenAlex ID: W3022006420
cites work: Q4733426
cites work: Alternation
cites work: Q3142557
cites work: Q3739111
cites work: Q3753490
cites work: The theory of ends, pushdown automata, and second-order logic
cites work: Q4010366
cites work: Fixed point characterization of infinite behavior of finite-state systems
cites work: Games for the \(\mu\)-calculus
cites work: Q4339226
cites work: Fast and simple nested fixpoints
cites work: An automata theoretic decision procedure for the propositional mu- calculus
cites work: On the synthesis of strategies in infinite games
cites work: Q4714446
DOI: 10.1006/INCO.2000.2894
Recommended article: Q4847017
Recommended article: Model-Checking Iterated Games
Recommended article: Model-checking iterated games
Recommended article: Games and Model Checking for Guarded Logics
Recommended article: Automata games for multiple-model checking
Recommended article: Model Checking Games for Branching Time Logics
Recommended article: Model-Checking Games for Fixpoint Logics with Partial Order Models
Recommended article: Model-checking games for fixpoint logics with partial order models
Recommended article: Model Checking Games
description: scientific article; zbMATH DE number 1853152