Symbolic Automata: Omega-Regularity Modulo Theories
autor
Veanes, Margus
Ball, Thomas
Ebner, Gabriel
Zhuchko, Ekaterina
vastutusandmed
Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko
allikas
Proceedings of the ACM on Programming Languages
kirjastus/väljaandja
ACM
ajakirja aastakäik number kuu
vol. 9, POPL
ilmumisaasta
2025
leheküljed
art. 2, p. 33-66
leitav
https://doi.org/10.1145/3704838
märksõna
tuletised (matemaatika)
moodulid (matemaatika)
võtmesõna
regular expression
temporal logic
derivative
satisfiability modulo theories
automata
ISSN
2475-1421
märkused
Bibliogr. p. 2:29-2:34
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise