Cited By
View all- Boker USobocinski PLago UEsparza J(2024)Discounted-Sum Automata with Real-Valued Discount FactorsProceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3661814.3662090(1-14)Online publication date: 8-Jul-2024
- Almagor SDafni N(2024)Determinization of Integral Discounted-Sum Automata is DecidableFoundations of Software Science and Computation Structures10.1007/978-3-031-57228-9_10(191-211)Online publication date: 5-Apr-2024
- Boker UHefetz G(2023)On the Comparison of Discounted-Sum Automata with Multiple Discount FactorsFoundations of Software Science and Computation Structures10.1007/978-3-031-30829-1_18(371-391)Online publication date: 21-Apr-2023
- Show More Cited By