Alternating automata modulo first order theories

DOI10.1007/978-3-030-25543-5_3MaRDI QIDQ6154872FDOQ6154872

Authors: Radu Iosif, Xiao Xu 

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

Recommendations

• Abstraction refinement for emptiness checking of alternating data automata
• Fixed point guided abstraction refinement for alternating automata
• Fixpoint Guided Abstraction Refinement for Alternating Automata
• Safety alternating automata on data words
• Alternating automata: unifying truth and validity checking for temporal logics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Cited In (1)

• First order Büchi automata and their application to verification of LTL specifications

This page was built for publication: Alternating automata modulo first order theories

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