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
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. p. 2:29-2:34
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
TalTech department
tarkvarateaduse instituut
language
inglise