Telecharger Cours

Applications of Automata Learning in Verification and Synthesis

The objective of this thesis is to explore automata learning, which is an umbrella term for techniques that derive finite automata from external information ...



Download