pith. sign in

M\'aria Svore\v{n}ov\'a

Identifiers

  • name variant M\'aria Svore\v{n}ov\'a 0.60 · backfill

Papers (1)

  1. Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints cs.RO · 2013 · author #1

Mentions

  • 1303.3533 #1 · backfill · confidence 0.70 M\'aria Svore\v{n}ov\'a

Frequent Coauthors