deRSE25 and SE25 Timetables

Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games

27 Feb 2025, 11:45

22m

Audimax B (Building 30.95)

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

Speakers

Hendrik Göttmann (TU Darmstadt) Birte Caesar (Helmut Schmidt University Hamburg) Lasse Beers (Helmut Schmidt University Hamburg) Malte Lochau (University of Siegen) Andy Schürr (TU Darmstadt) Alexander Fay (Ruhr University Bochum)