Nick Würdemann

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 10

Top Topics

Extensive Form Games

Top Venues

Acta Informatica

Publications

Nick Würdemann, Thomas Chatain, Stefan Haar, Lukas Panneke
Taking Complete Finite Prefixes To High Level, Symbolically. CoRR (2023)
Nick Würdemann, Thomas Chatain, Stefan Haar
Taking Complete Finite Prefixes to High Level, Symbolically. Petri Nets (2023)
Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets. GandALF (2022)
Manuel Gieseking, Nick Würdemann
Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version). CoRR (2021)
Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann
Correction to: Solving high-level Petri games. Acta Informatica 58 (6) (2021)
Manuel Gieseking, Nick Würdemann
Canonical Representations for Direct Generation of Strategies in High-level Petri Games. CoRR (2021)
Nick Würdemann
Exploiting symmetries of high-level Petri games in distributed synthesis. it Inf. Technol. 63 (5-6) (2021)
Okan Özkan, Nick Würdemann
Resilience of Well-structured Graph Transformation Systems. GCM@STAF (2021)
Manuel Gieseking, Nick Würdemann
Canonical Representations for Direct Generation of Strategies in High-Level Petri Games. Petri Nets (2021)
Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann
Solving high-level Petri games. Acta Informatica 57 (3-5) (2020)