Author of the publication

Automata Learning through Counterexample Guided Abstraction Refinement.

, , , , and . FM, volume 7436 of Lecture Notes in Computer Science, page 10-27. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Kuppens, Harco
add a person with the name Kuppens, Harco
 

Other publications of authors with the same name

Automata Learning through Counterexample Guided Abstraction Refinement., , , , and . FM, volume 7436 of Lecture Notes in Computer Science, page 10-27. Springer, (2012)Benchmarks for Automata Learning and Conformance Testing., , , and . Models, Mindsets, Meta, volume 11200 of Lecture Notes in Computer Science, page 390-416. Springer, (2018)Video surveillance using distance maps., , and . Real-Time Image Processing, volume 6063 of SPIE Proceedings, page 606306. SPIE, (2006)Learning Register Automata with Fresh Value Generation., , , and . ICTAC, volume 9399 of Lecture Notes in Computer Science, page 165-183. Springer, (2015)RERS 2019: Combining Synthesis with Real-World Models., , , , , , , , , and 1 other author(s). TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 101-115. Springer, (2019)