Author:
Henzinger Thomas A.,Krishnan Sriram C.,Kupferman Orna,Mang Freddy Y. C.
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lect Notes Comput Sci;M. Abadi,1989
2. J.R. Büchi and L.H. Landweber. Solving sequential conditions by finitestate strategies. Transactions of the American Mathematical Society, 138:295–311, 1969.
3. A. Church. Logic, arithmetic, and automata. In Proc. Intl. Congress of Mathematicians, pages 23–35. Institut Mittag-Leffler, 1962.
4. D.L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed Independent Circuits. MIT Press, 1989.
5. E.A. Emerson and E.M. Clarke. Using branching time logic to synthesize synchronization skeletons. Science of Computer Programming, 2:241–266, 1982.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synthesis with Privacy Against an Observer;Lecture Notes in Computer Science;2024
2. Graph Games and Reactive Synthesis;Handbook of Model Checking;2018
3. Harmonization of Interacting Automata;Cybernetics and Systems Analysis;2015-09
4. On Locally Checkable Properties;Logic for Programming, Artificial Intelligence, and Reasoning;2006