Synthesis of Reactive(1) Designs-Reference-Cited by-同舟云学术

Synthesis of Reactive(1) Designs

Published:2005 Issue: Volume: Page:364-380
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Piterman Nir,Pnueli Amir,Sa’ar Yaniv

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11609773_24.pdf

Reference20 articles.

1. Lecture Notes in Computer Science;R. Armoni,2002

2. Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller synthesis for timed automata. In: IFAC Symposium on System Structure and Control, pp. 469–474. Elsevier, Amsterdam (1998)

3. Inc. Accellera Organization. Formal semantics of Accellera(c) property specification language. Appendix B of (January 2004), http://www.eda.org/vfv/docs/PSL-v1.1.pdf

4. Alur, R., La Torre, S.: Deterministic generators and games for LTL fragments. ACM Trans. Comput. Log. 5(1), 1–25 (2004)

5. Büchi, J.R., Landweber, L.H.: Solving sequential conditions by finite-state strategies. Trans. Amer. Math. Soc. 138, 295–311 (1969)

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

1. Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications;Proceedings of the 46th IEEE/ACM International Conference on Software Engineering;2024-02-06

2. Integrated Task and Motion Planning for Safe Legged Navigation in Partially Observable Environments;IEEE Transactions on Robotics;2023-12

3. Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis;Software and Systems Modeling;2023-08-11

4. Tableaux for Realizability of Safety Specifications;Formal Methods;2023

5. ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae;Automated Technology for Verification and Analysis;2023