scientific article; zbMATH DE number 1956593

MaRDI QIDQ4417938zbMATH OpenFDO

Authors Salvatore La Torre, Parthasarathy Madhusudan, Rajeev Alur

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2619/26190363.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Graph theory (including graph drawing) in computer science (68R10) Applications of game theory (91A80)

Recommendations

• Modular strategies for recursive game graphs
• Visibly pushdown modular games
• Computer Aided Verification
• Visibly pushdown modular games
• Mean-payoff pushdown games

Cited in

(9)

• Dynamic hierarchical reactive controller synthesis
• Modular strategies for recursive game graphs
• scientific article; zbMATH DE number 1017515 (Why is no real title available?)
• scientific article; zbMATH DE number 1096547 (Why is no real title available?)
• Visibly pushdown modular games
• Visibly pushdown modular games
• Computer Aided Verification
• Verification, Model Checking, and Abstract Interpretation
• Verification of scope-dependent hierarchical state machines

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 Q4417938)