Ivana \v{C}ern\'a

Identifiers

• name variant Ivana \v{C}ern\'a 0.60 · backfill

Papers (3)

1. DiVM: Model Checking with LLVM and Graph Memory cs.SE · 2017 · author #3
2. LTL Parameter Synthesis of Parametric Timed Automata cs.FL · 2014 · author #4
3. Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints cs.RO · 2013 · author #2

Mentions

• 1303.3533 #2 · backfill · confidence 0.70 Ivana \v{C}ern\'a

Frequent Coauthors

• Ji\v{r}\'i Barnat 2 shared papers
• Calin Belta 1 shared papers
• M\'aria Svore\v{n}ov\'a 1 shared papers
• Nikola Bene\v{s} 1 shared papers
• Peter Bezd\v{e}k 1 shared papers
• Petr Ro\v{c}kai 1 shared papers
• Vladim\'ir \v{S}till 1 shared papers