Synthesis of optimal discrete automaton-type systems in the case of multiple instantaneous switchings
dynamic finite state machine (automaton)
scientific article; zbMATH DE number 6418210
scientific article