Antichains
From MaRDI portal
Cited in
(61)- Alpaga
- FMona
- OpenFst
- ZaligVinder
- REGAL
- Problems on finite automata and the exponential time hypothesis
- Nested antichains for WS1S
- MONA
- TaPAS
- Strategy construction for parity games with imperfect information
- Fixed point guided abstraction refinement for alternating automata
- Parametric random generation of deterministic tree automata
- Velodrome
- HIP
- VATA
- Omega+
- Checkfence
- FAdo
- Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm
- A verification-driven framework for iterative design of controllers
- Model checking transactional memories
- dk.brics.automaton
- Perracotta
- Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes
- MTBDD
- ADABU
- SMArTIC
- Algorithms for Kleene algebra with converse
- Symbolic automata for representing big code
- Supremica
- Advanced Ramsey-based Büchi automata inclusion testing
- Symbolic model checking in non-Boolean domains
- Liss
- Limi
- ConRepair
- Lazy automata techniques for WS1S
- StrSolve
- Transactional Reduction of Component Compositions
- Computing Weakest Strategies for Safety Games of Imperfect Information
- Random Generation of Deterministic Tree (Walking) Automata
- Fixpoint Guided Abstraction Refinement for Alternating Automata
- Acacia+
- Slide
- Mosel
- libVATA
- OpenNWA
- Antichains and compositional algorithms for LTL synthesis
- Verification of STM on relaxed memory models
- Efficient reduction of nondeterministic automata with application to language inclusion testing
- Regular separability of well-structured transition systems
- Domains for Higher-Order Games
- Coinductive algorithms for Büchi automata
- Random models for evaluating efficient Büchi universality checking
- Ramsey-based inclusion checking for visibly pushdown automata
- Pecan
- Automata Learning: A Categorical Perspective
- Antichains: A New Algorithm for Checking Universality of Finite Automata
- scientific article; zbMATH DE number 7327941 (Why is no real title available?)
- 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
This page was built for software: Antichains
