full record print

Symbolic Automata: Omega-Regularity Modulo Theories

author
statement of authorship
Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko
source
publisher
ACM
journal volume number month
vol. 9, POPL
year of publication
pages
art. 2, p. 33-66
url
ISSN
2475-1421
notes
Bibliogr. p. 2:29-2:34
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
regular expression
temporal logic
derivative
satisfiability modulo theories
automata
Veanes, M., Ball, T., Ebner, G., Zhuchko, E. Symbolic Automata: Omega-Regularity Modulo Theories // Proceedings of the ACM on Programming Languages (2025) vol. 9, POPL, art. 2, p. 33-66. https://doi.org/10.1145/3704838