Reasoning About Regular Properties: A Comparative Study (Q6492750): Difference between revisions

@@ Property / cites work @@
+Chain-Free String Constraints
@@ Property / cites work: Chain-Free String Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+When Simulation Meets Antichains
@@ Property / cites work: When Simulation Meets Antichains / rank @@
+Normal rank
@@ Property / cites work @@
+Checking NFA equivalence with bisimulations up to congruence
+Normal rank
@@ Property / cites work @@
+Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata
+Normal rank
@@ Property / cites work @@
+Diophantine equations, Presburger arithmetic and finite automata
+Normal rank
@@ Property / cites work @@
+On equations for regular languages, finite automata, and sequential networks
+Normal rank
@@ Property / cites work @@
+Q5725992
@@ Property / cites work: Q5725992 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144615
@@ Property / cites work: Q5144615 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+A symbolic decision procedure for symbolic alternating finite automata
+Normal rank
@@ Property / cites work @@
+The power of symbolic automata and transducers
@@ Property / cites work: The power of symbolic automata and transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Minimization of symbolic automata
@@ Property / cites work: Minimization of symbolic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Minimization of Symbolic Tree Automata
@@ Property / cites work: Minimization of Symbolic Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20--23, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+Antichain Algorithms for Finite Automata
@@ Property / cites work: Antichain Algorithms for Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Constructions for alternating finite automata<sup>∗</sup>
+Normal rank
@@ Property / cites work @@
+On Equivalence Checking of Nondeterministic Finite Automata
+Normal rank
@@ Property / cites work @@
+Unbounded Model-Checking with Interpolation for Regular Language Constraints
+Normal rank
@@ Property / cites work @@
+Fixed point guided abstraction refinement for alternating automata
+Normal rank
@@ Property / cites work @@
+Q4252730
@@ Property / cites work: Q4252730 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Property Directed Reachability
@@ Property / cites work: Generalized Property Directed Reachability / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation algorithms for symbolic automata
@@ Property / cites work: Simulation algorithms for symbolic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata
+Normal rank
@@ Property / cites work @@
+Q2970249
@@ Property / cites work: Q2970249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4045961
@@ Property / cites work: Q4045961 / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of alternation in automata theory
@@ Property / cites work: On the power of alternation in automata theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551191
@@ Property / cites work: Q5551191 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory Is Forever
@@ Property / cites work: Theory Is Forever / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction refinement for emptiness checking of alternating data automata
+Normal rank
@@ Property / cites work @@
+Weak alternating automata are not that weak
@@ Property / cites work: Weak alternating automata are not that weak / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata
+Normal rank
@@ Property / cites work @@
+SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Abstraction with Interpolants
@@ Property / cites work: Lazy Abstraction with Interpolants / rank @@
+Normal rank
@@ Property / cites work @@
+Even Faster Conflicts and Lazier Reductions for String Solvers
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient simulation algorithm based on abstract interpretation
+Normal rank
@@ Property / cites work @@
+Experimental Evaluation of Classical Automata Constructions
+Normal rank
@@ Property / cites work @@
+Simple Bisimilarity Minimization in O(m log n) Time
+Normal rank
@@ Property / cites work @@
+Q4490750
@@ Property / cites work: Q4490750 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplifying Alternating Automata for Emptiness Testing
+Normal rank
@@ Property / cites work @@
+Qex: Symbolic SQL Query Explorer
@@ Property / cites work: Qex: Symbolic SQL Query Explorer / rank @@
+Normal rank
@@ Property / cites work @@
+String Analysis via Automata Manipulation with Logic Circuit Representation
+Normal rank
@@ Property / cites work @@
+Antichains: A New Algorithm for Checking Universality of Finite Automata
+Normal rank