Nick Würdemann

According to our database, Nick Würdemann authored at least 9 papers between 2020 and 2023.

Collaborative distances:

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

2023

Taking Complete Finite Prefixes To High Level, Symbolically.

Nick Würdemann, Thomas Chatain, Stefan Haar, Lukas Panneke

CoRR, 2023

Taking Complete Finite Prefixes to High Level, Symbolically.

Nick Würdemann, Thomas Chatain, Stefan Haar

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets.

Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann

Proceedings of the 13th International Symposium on Games, 2022

2021

Exploiting symmetries of high-level Petri games in distributed synthesis.

Nick Würdemann

it Inf. Technol., 2021

Resilience of Well-structured Graph Transformation Systems.

Okan Özkan, Nick Würdemann

Proceedings of the Proceedings Twelfth International Workshop on Graph Computational Models, 2021

Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version).

Manuel Gieseking, Nick Würdemann

CoRR, 2021

Correction to: Solving high-level Petri games.

Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann

Acta Informatica, 2021

Canonical Representations for Direct Generation of Strategies in High-Level Petri Games.

Manuel Gieseking, Nick Würdemann

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020

Solving high-level Petri games.

Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann

Acta Informatica, 2020