DRONA-Reference-Cited by-同舟云学术

DRONA

Published:2017-04-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 8th International Conference on Cyber-Physical Systems
language:
Short-container-title:

Author:

Desai Ankush¹,Saha Indranil²,Yang Jianqiao¹,Qadeer Shaz³,Seshia Sanjit A.¹

Affiliation:

1. University of California

2. Indian Institute of Technology, Kanpur

3. Microsoft Research

Funder

DARPA

MARCO

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3055004.3055022

Reference31 articles.

1. Rajeev Alur and David L Dill. 1994. A theory of timed automata. Theoretical computer science 126 2 (1994) 183--235. 10.1016/0304-3975(94)90010-8 Rajeev Alur and David L Dill. 1994. A theory of timed automata. Theoretical computer science 126 2 (1994) 183--235. 10.1016/0304-3975(94)90010-8

2. Zing: A Model Checker for Concurrent Software

3. Astar. 2017. Astar Algorithm Cpp Github. https://github.com/justinhj/astar-algorithm-cpp.git. (2017). Astar. 2017. Astar Algorithm Cpp Github. https://github.com/justinhj/astar-algorithm-cpp.git. (2017).

4. C. Barrett R. Sebastiani S. A. Seshia and C. Tinelli. 2009. Satisfiability Modulo Theories. In Handbook of Satisfiability Armin Biere Hans van Maaren and Toby Walsh (Eds.). Vol. 4. IOS Press Chapter 8. C. Barrett R. Sebastiani S. A. Seshia and C. Tinelli. 2009. Satisfiability Modulo Theories. In Handbook of Satisfiability Armin Biere Hans van Maaren and Toby Walsh (Eds.). Vol. 4. IOS Press Chapter 8.

5. Asynchronous decentralized prioritized planning for coordination in multi-robot system

Cited by 51 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Efficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints;2023 62nd IEEE Conference on Decision and Control (CDC);2023-12-13

2. RoboWorld: Verification of Robotic Systems with Environment in the Loop;Formal Aspects of Computing;2023-11-20

3. Modelling flocks of birds and colonies of ants from the bottom up;International Journal on Software Tools for Technology Transfer;2023-11-02

4. Coordinating and programming multiple ROS-based robots with X-KLAIM;International Journal on Software Tools for Technology Transfer;2023-11-02

5. Ulgen: A Runtime Assurance Framework for Programming Safe Cyber–Physical Systems;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-11