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 53 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Multi-Agent Team Access Monitoring: Environments that Benefit from Target Information Sharing;2024 Integrated Communications, Navigation and Surveillance Conference (ICNS);2024-04-23

2. BittyBuzz: A Swarm Robotics Runtime for Tiny Systems;Lecture Notes in Computer Science;2024

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

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

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