Author:
Karlsson Jesper,Barbosa Fernando S.,Tumova Jana
Subject
Control and Systems Engineering
Reference17 articles.
1. The benefits of relaxing punctuality;Alur;Journal of the ACM (JACM),1996
2. Guiding autonomous exploration with signal temporal logic;Barbosa;IEEE Robotics and Automation Letters,2019
3. Bhatia, A., Kavraki, L.E., and Vardi, M.Y. (2010). Sampling-based motion planning with temporal goals. In 2010 IEEE International Conference on Robotics and Automation, 2689–2696.
4. Castro, L.I.R., Chaudhari, P., Tumova, J., Karaman, S., Frazzoli, E., and Rus, D. (2013). Incremental sampling-based algorithm for minimum-violation motion planning. In Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on, 3217–3224. IEEE.
5. Robust Satisfaction of Temporal Logic over Real-Valued Signals;Donzé,2010
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献