Synthesizing adaptive test strategies from temporal logic specifications

Roderick Bloem, Goerschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck*

*Corresponding author for this work

Research output: Contribution to journalArticle

Fingerprint

Dive into the research topics of 'Synthesizing adaptive test strategies from temporal logic specifications'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science