Fig. 6From: Context-aware environment online monitoring for safety autonomous vehicle systems: an automata-theoretic approachTransformed Generalized Büchi AutomataBack to article page