Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic

Re-assign community