Fig. 4From: Context-aware environment online monitoring for safety autonomous vehicle systems: an automata-theoretic approachImproved monitor generation processBack to article page