Author:
Asarkaya Ahmet Semi,Aksaray Derya,Yazicioglu Yasin
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Resilient Temporal Logic Planning in the Presence of Robot Failures;2023 62nd IEEE Conference on Decision and Control (CDC);2023-12-13
2. Model Checking Time Window Temporal Logic for Hyperproperties;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21
3. QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21
4. Motion Planning Using Hyperproperties for Time Window Temporal Logic;IEEE Robotics and Automation Letters;2023-08
5. Runtime Monitoring of Time Window Temporal Logic;IEEE Robotics and Automation Letters;2022-07