The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Malte Isberner, Falk Howar, Bernhard Steffen. The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. In Borzoo Bonakdarpour, Scott A. Smolka, editors, Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings. Volume 8734 of Lecture Notes in Computer Science, pages 307-322, Springer, 2014. [doi]

This author has not been identified. It may be one of the following persons:

Malte Isberner

Look up 'Malte Isberner' in GoogleThis author has not been identified. Look up 'Falk Howar' in GoogleThis author has not been identified. It may be one of the following persons:

Bernhard Steffen

Look up 'Bernhard Steffen' in Google

runs on WebDSL