@inproceedings(Kreowski13,
 author       = {Larbi Abdenebaoui and Hans-J{\"o}rg Kreowski and Sabine Kuske},
 year         = {2015},
 title        = {Graph-Transformational Swarms with Stationary Members},
 booktitle    = {DoCEIS 2015: Technological Innovation for Cloud-Based Engineering Systems},
 series       = {IFIP Advances in Information and Communication Technology},
 volume       = {450},
 pages        = {137--144},
 doi          = {10.1007/978-3-319-16766-4\_15},
)
@book(Olderog97,
 author       = {Krzysztof R. Apt and Ernst-R{\"u}diger Olderog and Frank S. de Boer},
 year         = {2009},
 title        = {Verification of Sequential and Concurrent Programs},
 edition      = {3},
 series       = {Texts in Computer Science},
 publisher    = {Springer},
 doi          = {10.1007/978-1-84882-745-5},
)
@book(Baier08,
 author       = {Christel Baier and Joost-Pieter Katoen},
 year         = {2008},
 title        = {Principles of Model Checking},
 publisher    = {The MIT Press},
 doi          = {10.1093/comjnl/bxp025},
)
@inproceedings(Clarke82,
 author       = {Edmund M. Clarke and E. Allen Emerson},
 year         = {1982},
 title        = {Design and synthesis of synchronization skeletons using branching time temporal logic},
 booktitle    = {Logics of Programs},
 series       = {Lecture Notes in Computer Science},
 volume       = {131},
 publisher    = {Springer},
 pages        = {52--71},
 doi          = {10.1007/BFb0025774},
)
@inproceedings(Corradini09,
 author       = {Andrea Corradini and Luciana Foss and Leila Ribeiro},
 year         = {2009},
 title        = {Graph Transformation with Dependencies for the Specification of Interactive Systems},
 booktitle    = {Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008},
 series       = {Lecture Notes in Computer Science},
 volume       = {5486},
 pages        = {102--118},
 doi          = {10.1007/978-3-642-03429-9\_8},
)
@inproceedings(Vardi07,
 author       = {De Giacomo, Giuseppe and Moshe Y. Vardi},
 year         = {2013},
 title        = {Linear Temporal Logic and Linear Dynamic Logic on Finite Traces},
 booktitle    = {Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence},
 series       = {IJCAI '13},
 pages        = {854--860},
 url          = {https://www.ijcai.org/Proceedings/13/Papers/132.pdf},
)
@book(Ehrig06,
 author       = {Hartmut Ehrig and Karsten Ehrig and Ulrike Prange and Gabriele Taentzer},
 year         = {2006},
 title        = {Fundamentals of Algebraic Graph Transformation},
 series       = {Monographs in Theoretical Computer Science},
 volume       = {XIV},
 publisher    = {Springer},
 doi          = {10.1007/3-540-31188-2},
)
@inproceedings(Emerson90,
 author       = {E. Allen Emerson},
 year         = {1990},
 title        = {Temporal and Modal Logic},
 booktitle    = {Handbook of Theoretical Computer Science},
 volume       = {B},
 publisher    = {Elsevier},
 pages        = {995--1072},
 doi          = {10.1016/B978-0-444-88074-1.50021-4},
)
@phdthesis(Flick16,
 author       = {Nils Erik Flick},
 year         = {2016},
 title        = {Proving correctness of graph programs relative to recursively nested conditions},
 school       = {Department of Computing Science, University of Oldenburg},
 url          = {http://oops.uni-oldenburg.de/2895/1/flipro16.pdf},
)
@inproceedings(Giese19,
 author       = {Holger Giese and Maria Maximova and Lucas Sakizloglou and Sven Schneider},
 year         = {2019},
 title        = {Metric Temporal Graph Logic over Typed Attributed Graphs},
 booktitle    = {Fundamental Approaches to Software Engineering},
 series       = {Lecture Notes in Computer Science},
 volume       = {11424},
 pages        = {282--298},
 doi          = {10.1007/978-3-030-16722-6\_16},
)
@inproceedings(Habel09,
 author       = {Annegret Habel and Karl-Heinz Pennemann},
 year         = {2009},
 title        = {Correctness of high-level transformation systems relative to nested conditions},
 series       = {Mathematical Structures in Computer Science},
 volume       = {19},
 publisher    = {Cambridge University Press},
 pages        = {245--296},
 doi          = {10.1017/S0960129508007202},
)
@inproceedings(Pennemann06,
 author       = {Annegret Habel and Karl-Heinz Pennemann and Arend Rensink},
 year         = {2006},
 title        = {Weakest Preconditions for High-Level Programs},
 booktitle    = {Graph Transformations (ICGT 2006)},
 series       = {Lecture Notes in Computer Science},
 volume       = {4178},
 pages        = {445--460},
 doi          = {10.1007/11841883\_31},
)
@inproceedings(Heckel04,
 author       = {Reiko Heckel and Georgios Lajios and Sebastian Menge},
 year         = {2004},
 title        = {Stochastic Graph Transformation Systems},
 booktitle    = {Graph Transformations (ICGT 2004)},
 series       = {Lecture Notes in Computer Science},
 volume       = {3256},
 pages        = {210--225},
 doi          = {10.1007/978-3-540-30203-2\_16},
)
@inproceedings(Schwammberger18,
 author       = {Martin Hilscher and Maike Schwammberger},
 year         = {2016},
 title        = {An Abstract Model for Proving Safety of Autonomous Urban Traffic},
 booktitle    = {Theoretical Aspects of Computing -- ICTAC 2016},
 series       = {Lecture Notes in Computer Science},
 volume       = {9965},
 pages        = {274--292},
 doi          = {10.1007/978-3-319-46750-4\_16},
)
@inproceedings(Kreowski06,
 author       = {Karsten H{\"o}lscher and Hans-J{\"o}rg Kreowski and Sabine Kuske},
 title        = {Autonomous Units and Their Semantics -- The Sequential Case},
 booktitle    = {International Conference on Graph Transformation 2006},
 series       = {Lecture Notes in Computer Science},
 volume       = {4178},
 pages        = {245--259},
 doi          = {10.1007/11841883\_18},
)
@inproceedings(GROOVE,
 author       = {Harmen Kastenberg and Arend Rensink},
 year         = {2006},
 title        = {Model Checking Dynamic States in GROOVE},
 booktitle    = {Proceedings of the 13th International Conference on Model Checking Software (SPIN)},
 series       = {Lecture Notes in Computer Science},
 volume       = {3925},
 pages        = {299--305},
 doi          = {10.1007/11691617\_19},
)
@inproceedings(Koenig14,
 author       = {Barbara K{\"{o}}nig and Jan St{\"{u}}ckrath},
 year         = {2017},
 title        = {Well-structured graph transformation systems},
 booktitle    = {Information and Computation},
 volume       = {252},
 pages        = {71--94},
 doi          = {10.1016/j.ic.2016.03.005},
)
@inproceedings(Peuser18,
 author       = {Christoph Peuser},
 year         = {2018},
 title        = {From Hyperedge Replacement Grammars to Decidable Hyperedge Replacement Games},
 booktitle    = {Software Technologies: Applications and Foundations ({STAF} 2018)},
 series       = {Lecture Notes in Computer Science},
 volume       = {11176},
 pages        = {463--478},
 doi          = {10.1007/978-3-030-04771-9\_33},
)
@inproceedings(Plump13,
 author       = {Christopher M. Poskitt and Detlef Plump},
 year         = {2013},
 title        = {Verifying Total Correctness of Graph Programs},
 booktitle    = {Electronic Communications of the EASST},
 volume       = {61},
 doi          = {10.14279/tuj.eceasst.61.827},
)
@inproceedings(Rensink04,
 author       = {Arend Rensink},
 year         = {2004},
 title        = {Representing First-Order Logic Using Graphs},
 booktitle    = {Proceedings of the International Conference on Graph Transformation},
 series       = {Lecture Notes in Computer Science},
 volume       = {3256},
 publisher    = {Springer},
 pages        = {319--335},
 doi          = {10.1007/978-3-540-30203-2\_23},
)
@book(Taentzer99,
 author       = {Gabriele Taentzer and Manuel Koch and Ingrid Fischer and Victor Volle},
 year         = {1999},
 title        = {Distributed Graph Transformation with Application to Visual Design of Distributed Systems},
 series       = {Handbook of Graph Grammars and Computing by Graph Transformation},
 publisher    = {World Scientific Publisher},
 doi          = {10.1142/9789812814951\_0005},
)
@inproceedings(Thomas90,
 author       = {Wolfgang Thomas},
 year         = {1990},
 title        = {Automata on infinite objects},
 booktitle    = {Handbook of Theoretical Computer Science, Volume B},
 pages        = {133--191},
 doi          = {10.1016/B978-0-444-88074-1.50009-3},
 url          = {https://www.automata.rwth-aachen.de/download/papers/thomas/thomas88.pdf},
)
@inproceedings(Wang06,
 author       = {{Zheng-guang} Wang and {Xiao-hui} Liang and {Qin-ping} Zhao},
 year         = {2006},
 title        = {A Graph Transformation System Model of Dynamic Reorganization in Multi-agent Systems},
 booktitle    = {Intelligent Data Engineering and Automated Learning -- IDEAL 2006},
 series       = {Lecture Notes in Computer Science},
 volume       = {4224},
 pages        = {1182--1190},
 doi          = {10.1007/11875581\_140},
)
@inproceedings(Worzyk19,
 author       = {Nils Worzyk and Hendrik Kahlen and Oliver Kramer},
 year         = {2019},
 title        = {Physical Adversarial Attacks by Projecting Perturbations},
 booktitle    = {Artificial Neural Networks and Machine Learning -- ICANN 2019: Image Processing},
 series       = {Lecture Notes in Computer Science},
 volume       = {11729},
 pages        = {649--659},
 doi          = {10.1007/978-3-030-30508-6\_51},
)