Contact

Director

Prof. Dr. Ernst-Rüdiger Olderog

Department of Computing Science
FK II
University of Oldenburg
D-26111 Oldenburg, Germany

Coordinator

Ira Wempe

Department of Computing Science
FK II
University of Oldenburg
D-26111 Oldenburg, Germany

[Seminar 20.02.2017] Peuser

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.

(Changed: 19 Jan 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page