Fig. 1From: Context-aware environment online monitoring for safety autonomous vehicle systems: an automata-theoretic approachRuntime verification framework considering environmental factorsBack to article page