Symbolic Automata: Omega-Regularity Modulo Theories
Veanes, Margus
;
Ball, Thomas
;
Ebner, Gabriel
;
Zhuchko, Ekaterina
Proceedings of the ACM on Programming Languages
2025
/
art. 2, p. 33-66 : ill
https://doi.org/10.1145/3704838
https://www.scopus.com/sourceid/21101020042
https://www.scopus.com/pages/publications/85215705975?origin=resultslist
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2024
https://www.webofscience.com/wos/woscc/full-record/WOS:001470367300019