Affiliation:
1. Michigan State University
Funder
Air Force Research Laboratory
NSF
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Distributed Petri nets for model-driven verifiable robotic applications in ROS;Innovations in Systems and Software Engineering;2024-06-25
2. SafeDriveRL: Combining Non-cooperative Game Theory with Reinforcement Learning to Explore and Mitigate Human-based Uncertainty for Autonomous Vehicles;Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems;2024-04-15
3. DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
4. Security Requirements Assurance: An Assurance Case Perspective;2023 IEEE 8th International Conference On Software Engineering and Computer Systems (ICSECS);2023-08-25
5. SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles;2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2023-05