Fig. 5From: Context-aware environment online monitoring for safety autonomous vehicle systems: an automata-theoretic approachLTL to Büchi automata processBack to article page