Maximilian Prokop

Identifiers

No identifiers captured yet.

Papers (1)

1. SemML 2.0: Synthesizing Controllers for LTL cs.AI · 2026 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Jan K\v{r}et\'insk\'y 1 shared papers
• Tobias Meggendorfer 1 shared papers