Author:
Alur Rajeev,Kannan Sampath,Yannakakis Mihalis
Publisher
Springer Berlin Heidelberg
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient Algorithms on Dynamic Obstacle Avoidance for Multi-Robot Agents In Automated Warehouse System;Proceedings of the 2024 9th International Conference on Intelligent Information Technology;2024-02-23
2. HYASM: A Tool to Verify Hierarchical Systems;2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE);2023-12-14
3. Formalizing UML State Machines for Automated Verification – A Survey;ACM Computing Surveys;2023-07-13
4. Accelerating OCaml Programs on FPGA;International Journal of Parallel Programming;2023-01-24
5. Preliminaries of Supervisory Control Theory;Scheduling and Reconfiguration of Real-Time Systems;2023