Compositional Synthesis of Reactive Controllers for Multi-agent Systems-Reference-Cited by-同舟云学术

Compositional Synthesis of Reactive Controllers for Multi-agent Systems

Published:2016 Issue: Volume: Page:251-269
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Alur Rajeev,Moarref Salar,Topcu Ufuk

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-41540-6_14

Reference36 articles.

1. Jennings, J.S., Whelan, G., Evans, W.F.: Cooperative search and rescue with a team of mobile robots. In: 8th International Conference on Advanced Robotics. IEEE (1997)

2. Rus, D., Donald, B., Jennings, J.: Moving furniture with teams of autonomous robots. In: Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE (1995)

3. Balch, T., Arkin, R.C.: Behavior-based formation control for multirobot teams. IEEE Trans. Robot. Autom. 14(6), 926–939 (1998)

4. Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM (1989)

5. Pnueli, A., Rosner, R.: Distributed reactive systems are hard to synthesize. In: 31st Annual Symposium on Foundations of Computer Science. IEEE (1990)

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

1. Information Flow Guided Synthesis with Unbounded Communication;Lecture Notes in Computer Science;2024

2. A toolchain for strategy synthesis with spatial properties;International Journal on Software Tools for Technology Transfer;2023-11-02

3. Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems;Science of Computer Programming;2022-12

4. Information Flow Guided Synthesis;Computer Aided Verification;2022

5. An Experimental Toolchain for Strategy Synthesis with Spatial Properties;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022