Timed automata approach for motion planning using metric interval temporal logic

Yuchen Zhou, Dipankar Maity, John S. Baras. Timed automata approach for motion planning using metric interval temporal logic. In 2016 European Control Conference, ECC 2016, Aalborg, Denmark, June 29 - July 1, 2016. pages 690-695, IEEE, 2016. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.