Martin Dvorak

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Pursuit Evasion

Context Free Grammars

Digital Geometry

Closure Properties

Top Venues

Publications

Martin Dvorak, Jasmin Blanchette
Closure Properties of General Grammars - Formally Verified. ITP (2023)
Martin Dvorak, Jasmin Blanchette
Closure Properties of Unrestricted Grammars - Formally Verified. CoRR (2023)
Martin Dvorak, Vladimir Kolmogorov
Generalized minimum 0-extension problem and discrete convexity. CoRR (2021)
Martin Dvorak, Sara Nicholson
Massively Winning Congurations in the Convex Grabbing Game on the Plane. CCCG (2021)