Funder
National Natural Science Foundation of China
Reference399 articles.
1. Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems;Abate;Automatica,2008
2. Abbas, H., Hoxha, B., Fainekos, G., & Ueda, K. (2014). Robustness-guided temporal logic testing and verification for stochastic cyber-physical systems. In IEEE international conference on cyber technology in automation, control and intelligent systems (pp. 1–6).
3. Aksaray, D., Jones, A., Kong, Z., Schwager, M., & Belta, C. (2016). Q-learning for robust satisfaction of signal temporal logic specifications. In IEEE conference on decision and control (pp. 6565–6570).
4. Alqahtani, S., Riley, I., Taylor, S., Gamble, R., & Mailler, R. (2018). MTL Robustness for Path Planning with A*. In International conference on autonomous agents and multiAgent systems (pp. 247–255).
5. Alqahtani, S., Taylor, S., Riley, I., Gamble, R., & Mailler, R. (2018). Predictive path planning algorithm using Kalman filters and MTL robustness. In IEEE international symposium on safety, security, and rescue robotics (pp. 1–7).
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献