Formal Methods

Research Frontiers in Automata Learning and System Identification

Techniques for automatically learning finite state models of black-box systems through systematic input-output testing.

All Formal Methods PhD categories