deRSE25 and SE25 Timetables

Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications

27 Feb 2025, 11:22

22m

Audimax B (Building 30.95)

Talk in EN or DE (15min + 7min) Software Engineering (SE 2025) SE Formal Methods

Speakers

Ariel Gorenstein (Tel Aviv University) Shahar Maoz (Tel Aviv University) Jan Oliver Ringert (Bauhaus University Weimar)