效绵鼎 What is a Timed Automaton? off on an automaton with locations (states)and edges the automaton spends time only in locations,not in edgesWhat is a Timed Automaton? ◼ an automaton with locations (states) and edges ◼ the automaton spends time only in locations, not in edges