Cover Image
Read Now

1
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... Techniques for WS1S -- From LTL and limit-deterministic Büchi automata to deterministic parity automata...”
Cover Image
Read Now

2
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... Minimal Deterministic Automata from Inexperienced Teachers.- Model Learning and Test Generation for Event...”
Cover Image
Read Now

3
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... Translation of LTL to Limit Deterministic Automata -- Quantitative Systems -- Sequential Convex Programming...”