Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14
2. Bounded Quantum Regular Language Generator;2023 IEEE International Conference on Quantum Computing and Engineering (QCE);2023-09-17
3. Design of a Multi-Robot Coordination System Using Mobile Agents;2023 20th International Conference on Ubiquitous Robots (UR);2023-06-25
4. A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems;Quantitative Evaluation of Systems;2023
5. MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives;Computer Aided Verification;2023