Four Papers at TACAS 2020


Four papers have been accepted to TACAS 2020 in Dublin in which our group is involved:
“Learning One-Clock Timed Automata” by Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, and Miaomiao Zhang, and
“Interpretation-Based Violation Witness Validation for C: NITWIT” by Jan Svejda, Philipp Berger and Joost-Pieter Katoen, and
“Scenario-Based Verification of Uncertain MDPs” by Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen and Ufuk Topcu, and
“Simple Strategies in Multi-Objective MDPs” by Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann and Mickael Randour