Maximilian Seeliger

Identifiers

No identifiers captured yet.

Papers (1)

1. Automated Approach for Solving Infinite-state Polynomial Reachability Games cs.AI · 2026 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• {\DJ}or{\dj}e \v{Z}ikeli\'c 1 shared papers
• Ehsan Kafshdar Goharshady 1 shared papers
• Krishnendu Chatterjee 1 shared papers
• Mehrdad Karrabi 1 shared papers