Tappler, Martin (Recipient), Muskardin, Edi (Recipient), Aichernig, Bernhard (Recipient) & Pill, Ingo (Recipient)
Prize
Description
Best Paper Award at the 19th International Conference on Software Engineering and Formal Methods (SEFM) for the paper "Active Model Learning of Stochastic Reactive Systems".