E-LIB Suche - Ergebnisse für: Boker, Udi

1

Discounted-Sum Automata with Real-Valued Discount Factors:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,

Boker, Udi - p. 1-14 , 2024

Link: https://dl.acm.org/doi/1..

2

On the Comparison of Discounted-Sum Automata with Multiple ..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Boker, Udi ; Hefetz, Guy - p. 371-391 , 2023

Link: https://doi.org/10.1007/..

3

Token Games and History-Deterministic Quantitative Automata:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Boker, Udi ; Lehtinen, Karoliina - p. 120-139 , 2022

Link: https://doi.org/10.1007/..

4

What is the Church-Turing Thesis?:

, In: Axiomatic Thinking II,

Boker, Udi ; Dershowitz, Nachum - p. 199-234 , 2022

Link: https://doi.org/10.1007/..

5

What's decidable about weighted automata?:

Almagor, Shaull ; Boker, Udi ; Kupferman, Orna
Information and Computation. 282 (2022) - p. 104651 , 2022

Link: https://doi.org/10.1016/..

6

On the Translation of Automata to Linear Temporal Logic:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Boker, Udi ; Lehtinen, Karoliina ; Sickert, Salomon - p. 140-160 , 2022

Link: https://doi.org/10.1007/..

7

What's Decidable About Causally Consistent Shared Memory?:

Lahav, Ori ; Boker, Udi
ACM Transactions on Programming Languages and Systems. 44 (2022) 2 - p. 1-55 , 2022

Link: https://doi.org/10.1145/..

8

Quantitative vs. Weighted Automata:

, In: Lecture Notes in Computer Science; Reachability Problems,

Boker, Udi - p. 3-18 , 2021

Link: https://doi.org/10.1007/..

9

Decidable verification under a causally consistent shared m..:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,

Lahav, Ori ; Boker, Udi - p. 211-226 , 2020

Link: https://dl.acm.org/doi/1..

10

Inherent Size Blowup in $$\omega $$ -Automata:

, In: Developments in Language Theory; Lecture Notes in Computer Science,

Boker, Udi - p. 3-17 , 2019

Link: https://doi.org/10.1007/..

11

Automaton-Based Criteria for Membership in CTL:

, In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science,

Boker, Udi ; Shaulian, Yariv - p. 155-164 , 2018

Link: https://dl.acm.org/doi/1..

12

Formally Reasoning About Quality:

Almagor, Shaull ; Boker, Udi ; Kupferman, Orna
Journal of the ACM (JACM). 63 (2016) 3 - p. 1-56 , 2016

Link: https://dl.acm.org/doi/1..

13

Formally Reasoning About Quality:

Almagor, Shaull ; Boker, Udi ; Kupferman, Orna
Journal of the ACM. 63 (2016) 3 - p. 1-56 , 2016

Link: https://doi.org/10.1145/..

14

The Target Discounted-Sum Problem:

, In: Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Boker, Udi ; Henzinger, Thomas A. ; Otop, Jan - p. 750-761 , 2015

Link: https://dl.acm.org/doi/1..

15

Battery transition systems:

Boker, Udi ; Henzinger, Thomas A. ; Radhakrishna, Arjun
ACM SIGPLAN Notices. 49 (2014) 1 - p. 595-606 , 2014

Link: https://doi.org/10.1145/..