An online model checking approach to soft-tissue detection for rupture Antoni, Sven-Thomas Lehmann, Sascha Schupp, Sibylle Schlaefer, Alexander 2019 - TUHH Open Research
A quantitative metric temporal logic for execution-time constrained verification Lehmann, Sascha Antoni, Sven-Thomas Schlaefer, Alexander Schupp, Sibylle 2019 - TUHH Open Research