One Theorem to Rule Them All-Reference-Cited by-同舟云学术

One Theorem to Rule Them All

Published:2018-07-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Esparza Javier¹,Křetínský Jan¹,Sickert Salomon¹

Affiliation:

1. Technische Universität München, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3209108.3209161

Reference38 articles.

1. Partial derivatives of regular expressions and finite automaton constructions

2. Tomáš Babiak František Blahoudek Alexandre Duret-Lutz Joachim Klein Jan Křetínský David Müller David Parker and Jan Strejček. 2015. The Hanoi Omega-Automata Format. In CAV. 479--486. Tomáš Babiak František Blahoudek Alexandre Duret-Lutz Joachim Klein Jan Křetínský David Müller David Parker and Jan Strejček. 2015. The Hanoi Omega-Automata Format. In CAV. 479--486.

3. Tomás Babiak Frantisek Blahoudek Mojmír Křetínský and Jan Strejcek. 2013. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F G)-Fragment. In ATVA. 24--39. Tomás Babiak Frantisek Blahoudek Mojmír Křetínský and Jan Strejcek. 2013. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F G)-Fragment. In ATVA. 24--39.

4. Tomás Babiak Mojmír Křetínský Vojtech Rehák and Jan Strejcek. 2012. LTL to Büchi Automata Translation: Fast and More Deterministic. In TACAS. 95--109. 10.1007/978-3-642-28756-5_8 Tomás Babiak Mojmír Křetínský Vojtech Rehák and Jan Strejcek. 2012. LTL to Büchi Automata Translation: Fast and More Deterministic. In TACAS. 95--109. 10.1007/978-3-642-28756-5_8

5. Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. MIT Press. Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. MIT Press.

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

1. On Multirobot Path Planning Based on Petri Net Models and LTL Specifications;IEEE Transactions on Automatic Control;2024-09

2. The Reactive Synthesis Competition (SYNTCOMP): 2018–2021;International Journal on Software Tools for Technology Transfer;2024-06-11

3. Computing $$\textit{pre}^{*}$$ for General Context Free Grammars;Lecture Notes in Computer Science;2024

4. SynthLearn: A Tool for Guided Reactive Synthesis;Lecture Notes in Computer Science;2024

5. Dissecting ltlsynt;Formal Methods in System Design;2023-07-14