Author:
Mehdipour Noushin,Vasile Cristian-Ioan,Belta Calin
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Temporally Robust Multi-Agent STL Motion Planning in Continuous Time;2024 American Control Conference (ACC);2024-07-10
2. Multiple tasks control of nonlinear systems under signal temporal logic and its application to mobile robots;International Journal of Robust and Nonlinear Control;2024-06-05
3. Approximating the Geometry of Temporal Logic Formulas;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14
4. Robust computation tree logic;Innovations in Systems and Software Engineering;2024-03-20
5. Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic;Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control;2023-05-09