Fabian Urrigshardt

According to our database, Fabian Urrigshardt authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version).

Barbara König, Arend Rensink, Lara Stoltenow, Fabian Urrigshardt

CoRR, April, 2025

Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems.

Barbara König, Arend Rensink, Lara Stoltenow, Fabian Urrigshardt

Proceedings of the Graph Transformation - 18th International Conference, 2025