Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems.

He Xu, Sven Schneider, Holger Giese

Browse the full FASE paper archive.