Falk Howar
2018: TACAS 2019, ISoLA 2020 (Chair of industrial track), FMICS (Chair) 2017: TACAS 2018, LearnAut 2017, JPF WS 2017 2016: TACAS 2017, NFM 2016, ICGI 2016, ISoLA 2016 2015: VST2016, SEFM 2015, SOFSEM 2015 [...] Systems [März 2018] Attract Group for Scenario-based Testing of Autonomous Robotic Systems . [February 2017] CACM article and title page on model learning by Frits Vaandrager mentions LearnLib and RaLib (CACM …