Pushdown module checking with imperfect information
type: Item
instance of: scholarly article
title: Pushdown module checking with imperfect information
zbMATH Open document ID: 1282.68166
author: Benjamin Aminof
author: Axel Legay
author: Aniello Murano
author: Olivier Serre
author: Moshe Y. Vardi
published in: Information and Computation
publication date: 2013-06-06T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 6171335
zbMATH Keywords: pushdown model checking
zbMATH Keywords: open systems
zbMATH Keywords: infinite-state systems
zbMATH Keywords: branching-time temporal-logics
zbMATH Keywords: modal \(\mu \)-calculus
zbMATH Keywords: game theory
MaRDI profile type: Publication
full work available at URL: j.ic.2012.11.005
OpenAlex ID: W2281681012
DOI: 10.1016/J.IC.2012.11.005
Recommended article: Pushdown Module Checking with Imperfect Information
Recommended article: Q4964726
Recommended article: Pushdown module checking
Recommended article: Pushdown Module Checking
Recommended article: Improving Pushdown System Model Checking
Recommended article: Enriched μ–Calculus Pushdown Module Checking
Recommended article: Program Complexity in Hierarchical Module Checking
Recommended article: Q2754086
Recommended article: Perspectives of System Informatics
description: scientific article; zbMATH DE number 6171335