Mona: Monadic second-order logic in practice-Reference-Cited by-同舟云学术

Mona: Monadic second-order logic in practice

Published:1995 Issue: Volume: Page:89-110
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Henriksen Jesper G.,Jensen Jakob,Jørgensen Michael,Klarlund Nils,Paige Robert,Rauhe Theis,Sandholm Anders

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60630-0_5.pdf

Reference17 articles.

1. A. Aho, J. Hopcroft, and J. Ullman. Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.

2. D. Basin and N. Klarlund. Hardware verification using monadic second-order logic. Technical Report RS-96-7, BRICS, 1995. To appear in CAV '95 Proceedings.

3. R.E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677–691, Aug 1986.

4. R. E. Bryant. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing surveys, 24(3):293–318, September 1992.

5. F. Balarin and A.L. Sangiovanni-Vincentelli. An iterative approach to language containment. In Computer Aided Verification, CAV '93, LNCS 697, pages 29–40, 1993.

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

1. Controller synthesis against omega‐regular specifications: A funnel‐based control approach;International Journal of Robust and Nonlinear Control;2024-03-25

2. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic;Lecture Notes in Computer Science;2024

3. Model-Guided Synthesis for LTL over Finite Traces;Lecture Notes in Computer Science;2023-12-30

4. SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications;Autonomous Robots;2023-11-03

5. Compositional Safety LTL Synthesis;Lecture Notes in Computer Science;2023