compact view print

Symbolic Automata: Omega-Regularity Modulo Theories

author
Veanes, Margus
Ball, Thomas
Ebner, Gabriel
Zhuchko, Ekaterina
statement of authorship
Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko
source
Proceedings of the ACM on Programming Languages
publisher
ACM
journal volume number month
vol. 9, POPL
year of publication
2025
pages
art. 2, p. 33-66 : ill
url
https://doi.org/10.1145/3704838
subject term
tuletised (matemaatika)
moodulid (matemaatika)
keyword
regular expression
temporal logic
derivative
satisfiability modulo theories
automata
ISSN
2475-1421
notes
Bibliogr.: 112 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Engineering
Computer science
category (sub)
Engineering. Safety, risk, reliability and quality
Tehnika. Ohutus, risk, töökindlus ja kvaliteet
Computer science. Software
TalTech department
tarkvarateaduse instituut
language
inglise
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 : ill. https://doi.org/10.1145/3704838