Timed automata approach for motion planning using metric interval temporal logic
| Title | Timed automata approach for motion planning using metric interval temporal logic |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Zhou, Yuchen, Maity, Dipankar, Baras, John S |
| Conference Name | Control Conference (ECC), 2016 European |
| Publisher | IEEE |
| Keywords | 1544787 |
| Citation Key | zhou2016timed |