Author:
Bakhirkin Alexey,Basset Nicolas
Publisher
Springer International Publishing
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts;Engineering Applications of Artificial Intelligence;2024-01
2. Linear Time Monitoring for One Variable TPTL;25th ACM International Conference on Hybrid Systems: Computation and Control;2022-05-04
3. A few lessons learned in reinforcement learning for quadcopter attitude control;Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control;2021-05-19
4. Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization;Journal of Systems and Software;2021-04
5. Trace-checking signal-based temporal properties;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21