Author:
Nenchev Vladislav,Belta Calin,Raisch Jorg
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Robust Signal Temporal Logic-based Planning for Uncertain External Events;2023 IEEE International Conference on Robotics and Biomimetics (ROBIO);2023-12-04
2. Model checking embedded adaptive cruise controllers;Robotics and Autonomous Systems;2023-09
3. Zeroing Control Barrier Function with Time Scale Transformation for Time Interval Signal Temporal Logic Task;2022 IEEE Conference on Control Technology and Applications (CCTA);2022-08-23
4. Automated behavior modeling for verifying safety-relevant modules;2021 Fifth IEEE International Conference on Robotic Computing (IRC);2021-11
5. Convex Approximation for LTL-based Planning;2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS);2021-09-27