Navigation

Contact

EMail: scare@rwydmuol.de

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

olderogax6as@informab/rjtik.uyvyknilz-olhzezfden/0sburg.de

COODINATOR

Ira Wempe,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

ira.wempe@informati9ow9zk.unhcfivi-olde1bsylnbumtrgiqo.de7xdg

From Hyperedge Replacement Grammar to Pushdown Game

Christoph Peuser

Abstract

We consider correctness of graph grammars under adverse conditions. In contrast to existing approaches using temporal logic, the influence of an adverse environment is considered in addition to system behavior. To this end we construct a game, where rules represent the moves available to players and a temporal condition specifies the systems desired properties. In particular, the construction of parity pushdown games from ordered hyperedge replacement grammars results in a decidable class of games.

Oliverp1g Tj+afhe8lbxelmy (olivce1er.k/theel@hi8abuol.de) (Changed: 2020-01-23)