Author:
Lahiri Shuvendu,Reger Giles
Publisher
Springer International Publishing
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Reasoning Method Based on Intervals with Symmetric Truncated Normal Density;Symmetry;2021-12-25
2. Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence;Proceedings of the 2019 International Conference on Artificial Intelligence, Robotics and Control;2019-12-14
3. On Distributed Runtime Verification by Aggregate Computing;Electronic Proceedings in Theoretical Computer Science;2019-08-27
4. Safety enforcement for the verification of autonomous systems;Autonomous Systems: Sensors, Vehicles, Security, and the Internet of Everything;2018-05-03
5. Writing Domain-Specific Languages for BeepBeep;Runtime Verification;2018