Year |
Citation |
Score |
2016 |
Wolff EM, Murray RM. Optimal control of nonlinear systems with temporal logic specifications Springer Tracts in Advanced Robotics. 114: 21-37. DOI: 10.1007/978-3-319-28872-7_2 |
0.471 |
|
2015 |
Livingston SC, Wolff EM, Murray RM. Cross-entropy temporal logic motion planning Proceedings of the 18th International Conference On Hybrid Systems: Computation and Control, Hscc 2015. 269-278. DOI: 10.1145/2728606.2728635 |
0.358 |
|
2015 |
Raman V, Wolff EM. Mixed-integer linear programming for planning with temporal logic tasks (Position paper) Aaai Workshop - Technical Report. 100-101. |
0.305 |
|
2014 |
Horowitz MB, Wolff EM, Murray RM. A compositional approach to stochastic optimal control with co-safe temporal logic specifications Ieee International Conference On Intelligent Robots and Systems. 1466-1473. DOI: 10.1109/IROS.2014.6942750 |
0.478 |
|
2014 |
Wolff EM, Topcu U, Murray RM. Optimization-based trajectory generation with linear temporal logic specifications Proceedings - Ieee International Conference On Robotics and Automation. 5319-5325. DOI: 10.1109/ICRA.2014.6907641 |
0.479 |
|
2014 |
Sun F, Ozay N, Wolff EM, Liu J, Murray RM. Efficient control synthesis for augmented finite transition systems with an application to switching protocols Proceedings of the American Control Conference. 3273-3280. DOI: 10.1109/ACC.2014.6859428 |
0.392 |
|
2013 |
Wolff EM, Topcu U, Murray RM. Automaton-guided controller synthesis for nonlinear systems with temporal logic Ieee International Conference On Intelligent Robots and Systems. 4332-4339. DOI: 10.1109/IROS.2013.6696978 |
0.48 |
|
2013 |
Wolff EM, Topcu U, Murray RM. Efficient reactive controller synthesis for a fragment of linear temporal logic Proceedings - Ieee International Conference On Robotics and Automation. 5033-5040. DOI: 10.1109/ICRA.2013.6631296 |
0.477 |
|
2013 |
Wolff EM, Topcu U, Murray RM. Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic Proceedings of the Ieee Conference On Decision and Control. 3197-3204. DOI: 10.1109/CDC.2013.6760371 |
0.517 |
|
2013 |
Wolff EM, Topcu U, Murray RM. Optimal control with weighted average costs and temporal logic specifications Robotics: Science and Systems. 8: 449-456. |
0.44 |
|
2012 |
Wolff EM, Topcu U, Murray RM. Robust control of uncertain Markov Decision Processes with temporal logic specifications Proceedings of the Ieee Conference On Decision and Control. 3372-3379. DOI: 10.1109/CDC.2012.6426174 |
0.44 |
|
Show low-probability matches. |