Author:
Alur Rajeev,Moarref Salar,Topcu Ufuk
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Rosner, R.: Modular synthesis of reactive systems. Ann Arbor 1050, 41346–48106 (1991)
2. Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Sa’ar, Y.: Synthesis of reactive (1) designs. Journal of Computer and System Sciences 78(3), 911–938 (2012)
3. Ozay, N., Topcu, U., Murray, R.: Distributed power allocation for vehicle management systems. In: CDC-ECC, pp. 4841–4848 (2011)
4. Alur, R., Moarref, S., Topcu, U.: Counter-strategy guided refinement of GR(1) temporal logic specifications. In: FMCAD, pp. 31–44 (2013)
5. Li, W., Dworkin, L., Seshia, S.: Mining assumptions for synthesis. In: MEMOCODE, pp. 43–50 (2011)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Understanding Synthesized Reactive Systems Through Invariants;Lecture Notes in Computer Science;2024-09-11
2. Compositional High-Quality Synthesis;Automated Technology for Verification and Analysis;2023
3. Event-Based Signal Temporal Logic Tasks: Execution and Feedback in Complex Environments;IEEE Robotics and Automation Letters;2022-10
4. Compositional synthesis of modular systems;Innovations in Systems and Software Engineering;2022-04-01
5. Symbolic reach-avoid control of multi-agent systems;Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems;2021-05-19