Franz Roeck | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Ezio Bartocci
43 publications
Roderick Bloem
27 publications
Dejan Nickovic
18 publications
Heinz Riener
7 publications
Goerschwin Fey
4 publications
Ingo Pill
3 publications
Robert Koenighofer
2 publications
Fabian Greif
1 publication

research

∙ 09/05/2018

Synthesizing Adaptive Test Strategies from Temporal Logic Specifications

Constructing good test cases is difficult and time-consuming, especially...

0 Roderick Bloem, et al. ∙

research

∙ 04/09/2018

A Counting Semantics for Monitoring LTL Specifications over Finite Traces

We consider the problem of monitoring a Linear Time Logic (LTL) specific...

0 Ezio Bartocci, et al. ∙

Success!

An error occurred