Elizabeth Firman

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 2

Top Topics

Heuristic Rules

Texture Synthesis

Greedy Heuristics

Top Venues

Acta Informatica

Publications

Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
Performance heuristics for GR(1) synthesis and related algorithms. Acta Informatica 57 (1-2) (2020)
Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
Performance Heuristics for GR(1) Synthesis and Related Algorithms. SYNT@CAV (2017)