Synthesizing Adaptive Test Strategies from Temporal Logic Specifications

Roderick Bloem, Robert Könighofer, Ingo Hans Pill, Franz Röck

Research output: Contribution to conferencePaper

Fingerprint

Dive into the research topics of 'Synthesizing Adaptive Test Strategies from Temporal Logic Specifications'. Together they form a unique fingerprint.

Engineering & Materials Science