Fig. 2From: Context-aware environment online monitoring for safety autonomous vehicle systems: an automata-theoretic approachAutomata form of road weatherBack to article page