Udi Boker

Publications59
h-index15
Citations741
Highly Influential Citations34
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • O. Kupferman
  • 275 Publications • 10,122 Citations
  • Moshe Y. Vardi
  • 825 Publications • 41,704 Citations
  • J. Raskin
  • 275 Publications • 6,622 Citations
  • T. Henzinger
  • 638 Publications • 50,152 Citations
  • Publications
  • Influence
Temporal Specifications with Accumulative Values
TLDR
This work shows that extending the fragment of CTL that has only the EX, EF, AX, and AG temporal modalities by prefix-accumulation assertions and extending LTL with path-accUMulation assertions, result in temporal logics whose model-checking problem is decidable.
View via Publisher
Discounting in LTL
TLDR
One direction in this effort is to refine the “eventually” operators of temporal logic to discounting operators: the satisfaction value of a specification is a value in [0,1], where the longer it takes to fulfill eventuality requirements, the smaller the satisfactionvalue is.
View PDF on arXiv
Exact and Approximate Determinization of Discounted-Sum Automata
TLDR
Positive news is provided, showing that every NDA with an integral discount factor is determinizable, and it is proved that the integers characterize exactly the discount factors that guarantee determinizability: for every nonintegral rational discount factor $\lambda$, there is a nondeterminizable $\lambda$-NDA.
View PDF on arXiv
What's Decidable about Weighted Automata?
TLDR
It follows from Krob's results that the universality problem is decidable for weighted automata with weights in N ∪ {∞}, and that the equality problem is undecidable when the weights are in N €∞.
View via Publisher
Formally Reasoning About Quality
TLDR
Two quantitative extensions of Linear Temporal Logic are introduced, one by propositional quality operators and one by discounting operators, and the usefulness of both extensions is demonstrated and the decidability and complexity of the decision and search problems for them are studied.
View on ACM
Families of DFAs as Acceptors of omega-Regular Languages
TLDR
It is shown that FDFAs are more succinct than deterministic parity automata (DPAs) in the sense that translating a DPA to an FDFA can always be done with only a polynomial increase, yet the other direction involves an inevitable exponential blowup in the worst case.
View via Publisher
The Church-Turing Thesis over Arbitrary Domains
TLDR
It is shown that the Church-Turing Thesis is not well defined for arbitrary domains, and an axiomatization of an "effective model of computation" over an arbitrary countable domain is proposed, based on Gurevich's postulates for sequential algorithms.
View via Publisher
Nondeterminism in the Presence of a Diverse or Unknown Future
TLDR
It is shown that GFT=GFG⊃DBP, and described a determinization construction for GFG automata, which shows the possible succinctness of GFG and GFT automata compared to deterministic automata.
View via Publisher
Families of DFAs as Acceptors of $ω$-Regular Languages
TLDR
It is shown that FDFAs are more succinct than deterministic parity automata (DPAs) in the sense that translating a DPA to an FDFA can always be done with only a polynomial increase, yet the other direction involves an inevitable exponential blowup in the worst case.
View PDF on arXiv
Formalizing and Reasoning about Quality
TLDR
By extending the automata-theoretic approach for LTL to a setting that takes quality into an account, it is able to solve the above problems and show that reasoning about LTL has roughly the same complexity as reasoning about traditional LTL.
View via Publisher
...
...