Antichains
From MaRDI portal
Cited in
(61)- Lazy automata techniques for WS1S
- scientific article; zbMATH DE number 7327941 (Why is no real title available?)
- Nested antichains for WS1S
- Domains for Higher-Order Games
- Efficient reduction of nondeterministic automata with application to language inclusion testing
- 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
- Antichains and compositional algorithms for LTL synthesis
- Verification of STM on relaxed memory models
- Regular separability of well-structured transition systems
- Antichains: A New Algorithm for Checking Universality of Finite Automata
- Random Generation of Deterministic Tree (Walking) Automata
- Advanced Ramsey-based Büchi automata inclusion testing
- Alpaga
- FMona
- OpenFst
- REGAL
- MONA
- TaPAS
- Velodrome
- HIP
- Checkfence
- Omega+
- FAdo
- VATA
- dk.brics.automaton
- Perracotta
- MTBDD
- ADABU
- SMArTIC
- Supremica
- Mosel
- ConRepair
- Limi
- Liss
- StrSolve
- Acacia+
- Slide
- libVATA
- OpenNWA
- Pecan
- Problems on finite automata and the exponential time hypothesis
- 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
- Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm
- Parametric random generation of deterministic tree automata
- Transactional Reduction of Component Compositions
- Automata Learning: A Categorical Perspective
- ZaligVinder
- 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
This page was built for software: Antichains
