Antichains

swMATH20208MaRDI QIDQ32028FDOQ32028

Author name not available (Why is that?)

Cited In (33)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Nested antichains for WS1S
• Domains for Higher-Order Games
• Symbolic Model Checking in Non-Boolean Domains
• Fixpoint Guided Abstraction Refinement for Alternating Automata
• Lazy Automata Techniques for WS1S
• Algorithms for Kleene algebra with converse
• Symbolic automata for representing big code
• Computing Weakest Strategies for Safety Games of Imperfect Information
• Strategy synthesis for multi-dimensional quantitative objectives
• Antichains: A New Algorithm for Checking Universality of Finite Automata
• Antichains and compositional algorithms for LTL synthesis
• Verification of STM on relaxed memory models
• Random Generation of Deterministic Tree (Walking) Automata
• Ramsey-Based Inclusion Checking for Visibly Pushdown Automata
• Problems on finite automata and the exponential time hypothesis
• Coinductive Algorithms for Büchi Automata
• 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
• Automata Learning: A Categorical Perspective
• Transactional Reduction of Component Compositions
• Parametric random generation of deterministic tree automata
• Advanced Ramsey-Based Büchi Automata Inclusion 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
• Strategy construction for parity games with imperfect information
• Title not available (Why is that?)
• Random Models for Evaluating Efficient Büchi Universality Checking

This page was built for software: Antichains