Author:
Aksaray Derya,Yazicioglu Yasin,Asarkaya Ahmet Semi
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Reinforcement Learning Under Probabilistic Spatio-Temporal Constraints with Time Windows;2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS);2023-10-01
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. Motion Planning Using Hyperproperties for Time Window Temporal Logic;IEEE Robotics and Automation Letters;2023-08
4. Safe Networked Robotics with Probabilistic Verification;IEEE Robotics and Automation Letters;2023
5. Model-Free Learning of Safe yet Effective Controllers;2021 60th IEEE Conference on Decision and Control (CDC);2021-12-14