@conference {
	title = {Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic},
	author = {Zhou, Yuchen., Maity, Dipankar., Baras, John S.},
	year = {2016},
	month = {06/2016},
	abstract = {In this paper, we consider the robot motion (or~task) planning problem under some given bounded time high-level specifications. We use metric interval temporal logic~(MITL), a member of the temporal logic family, to represent~the task specification and then we provide a constructive way to~generate a timed automaton and methods to look for accepting~runs on the automaton to find a feasible motion (or path)~sequence for the robot to complete the task.~},
	address = {Aalborg, DK},
	booktitle = {European Control Conference (ECC16)},
	pages = {pp. 690-695}
}
