Fixpoint Guided Abstraction Refinement for Alternating Automata

DOI10.1007/978-3-642-02979-0_19MaRDI QIDQ3637352zbMATH OpenOpenAlexFDO

Authors Pierre Ganty, Nicolas Maquet, Jean-François Raskin

Publication date 9 July 2009

Published in Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02979-0_19

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Fixed point guided abstraction refinement for alternating automata
• Abstraction refinement for emptiness checking of alternating data automata
• Fixpoint-Guided Abstraction Refinements
• Antichain algorithms for finite automata
• SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• Algorithms for Omega-Regular Games with Imperfect Information
• Alternation
• Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata
• Antichains: A New Algorithm for Checking Universality of Finite Automata
• Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
• Counterexample-guided abstraction refinement for symbolic model checking
• Fixpoint-Guided Abstraction Refinements
• From many places to few: automatic abstraction refinement for Petri nets
• Improved Algorithms for the Automata-Based Approach to Model-Checking

Cited in

(8)

• Abstraction refinement for emptiness checking of alternating data automata
• Fixpoint-Guided Abstraction Refinements
• SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA
• scientific article; zbMATH DE number 1863179 (Why is no real title available?)
• Alternating automata modulo first order theories
• Antichain algorithms for finite automata
• Simplifying Alternating Automata for Emptiness Testing
• Fixed point guided abstraction refinement for alternating automata

Describes a project that uses

Uses Software

• Antichains

This page was built for publication: Fixpoint Guided Abstraction Refinement for Alternating Automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3637352)