Antichains: A New Algorithm for Checking Universality of Finite Automata
From MaRDI portal
Recommendations
- Antichains for the Automata-Based Approach to Model-Checking
- Antichain algorithms for finite automata
- When simulation meets antichains. (On checking language inclusion of nondeterministic finite (tree) automata)
- Improved Algorithms for the Automata-Based Approach to Model-Checking
- Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata
Cited in
(60)- Lazy automata techniques for WS1S
- Completeness and Nondeterminism in Model Checking Transactional Memories
- scientific article; zbMATH DE number 7327941 (Why is no real title available?)
- Nested antichains for WS1S
- Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
- On concurrent program algebra and demonic automata
- Incremental algorithms for solving regular expression intersection non-emptiness
- Domains for Higher-Order Games
- Nondeterministic syntactic complexity
- A synchronous effects logic for temporal verification of pure Esterel
- Experimental Evaluation of Classical Automata Constructions
- Efficient reduction of nondeterministic automata with application to language inclusion testing
- Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic
- Fixpoint Guided Abstraction Refinement for Alternating Automata
- Algorithms for Kleene algebra with converse
- Symbolic automata for representing big code
- Computing Weakest Strategies for Safety Games of Imperfect Information
- Random models for evaluating efficient Büchi universality checking
- Antiprenexing for WSkS: a little goes a long way
- Theoretical computer science: computational complexity
- Antichains and compositional algorithms for LTL synthesis
- Verification of STM on relaxed memory models
- Regular separability of well-structured transition systems
- Random Generation of Deterministic Tree (Walking) Automata
- Advanced Ramsey-based Büchi automata inclusion testing
- Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata
- Strategy Construction for Parity Games with Imperfect Information
- Problems on finite automata and the exponential time hypothesis
- On complementation of nondeterministic finite automata without full determinization
- A finite state automaton for quantum computing
- Improved Algorithms for the Automata-Based Approach to Model-Checking
- From non-preemptive to preemptive scheduling using synchronization synthesis
- Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure
- Abstraction refinement and antichains for trace inclusion of infinite state systems
- Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure
- Antichain with SAT and tries
- Antichain algorithms for finite automata
- When simulation meets antichains. (On checking language inclusion of nondeterministic finite (tree) automata)
- Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm
- Parametric random generation of deterministic tree automata
- Transactional Reduction of Component Compositions
- Antichains for the Automata-Based Approach to Model-Checking
- Automata Learning: A Categorical Perspective
- FORQ-Based Language Inclusion Formal Testing
- Reasoning About Regular Properties: A Comparative Study
- A close analysis of the subset construction
- Model-checking real-time systems: revisiting the alternating automaton route
- Improved randomized approximation of hard universality and emptiness problems
- Simplifying Alternating Automata for Emptiness Testing
- Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes
- A verification-driven framework for iterative design of controllers
- Model checking transactional memories
- Fixed point guided abstraction refinement for alternating automata
- Coinductive algorithms for Büchi automata
- Strategy construction for parity games with imperfect information
- Ramsey-based inclusion checking for visibly pushdown automata
- Symbolic model checking in non-Boolean domains
- Antichains algorithms for the inclusion problem between \(\omega\)-VPL
- Language inclusion algorithms as complete abstract interpretations
- Up-To Techniques for Weighted Systems
This page was built for publication: Antichains: A New Algorithm for Checking Universality of Finite Automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756729)
