A
Alexander Rabinovich
Researcher at Tel Aviv University
Publications - 139
Citations - 2260
Alexander Rabinovich is an academic researcher from Tel Aviv University. The author has contributed to research in topics: Monadic predicate calculus & Decidability. The author has an hindex of 26, co-authored 139 publications receiving 2202 citations. Previous affiliations of Alexander Rabinovich include University of Texas at El Paso & University of Oxford.
Papers
More filters
Journal ArticleDOI
Verification of probabilistic systems with faulty communication
TL;DR: This article considers a variant of PLCS's which is more realistic than those studied previously, and shows that for such systems the following model-checking problem is decidable: to verify whether a linear-time property definable by a finite-state @w-automaton holds with probability one.
Book ChapterDOI
Verification of probabilistic systems with faulty communication
TL;DR: This paper considers a variant of PLCS which is more realistic than those studied in [BE99, ABIJ00], and shows that for such systems the following model checking problem is decidable: whether a given property definable by finite state ω-automata holds with probability one.
Journal ArticleDOI
Counting on CTL: on the expressive power of monadic path logic
TL;DR: This paper shows that the expressive power of MPL over trees coincides with the usual branching time logic CTL* embellished with a simple form of counting.
Book ChapterDOI
Church synthesis problem for noisy input
TL;DR: The decidability of the winner of multidimensional mean-payoff games was stated as an open question is proved and tight complexity bounds are provided.
Book ChapterDOI
Quantitative analysis of probabilistic lossy channel systems
TL;DR: Here, the following qualitative model checking problem is investigated: to verify whether a given property holds with probability one, namely to calculate the probability by which a certain property is satisfied.