Paul Hannibal

According to our database, Paul Hannibal authored at least 3 papers between 2022 and 2026.

Collaborative distances:

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

2026

Finite-Memory Strategies for Petri Games.

Paul Hannibal, Dennis Lisiecki, Ernst-Rüdiger Olderog

Proceedings of the Engineering Safe and Trustworthy Cyber Physical Systems, 2026

2023

(Un)Decidability Bounds of the Synthesis Problem for Petri Games.

Paul Hannibal

Proceedings of the Fourteenth International Symposium on Games, 2023

2022

The Synthesis Problem for Repeatedly Communicating Petri Games.

Paul Hannibal, Ernst-Rüdiger Olderog

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