5 papers
ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
Ohad Asor
We introduce ocLTL, the case of LTL+P modulo ω-categorical theories. We reduce its realizability and synthesis problems into the corresponding problems in propositional LTL+P. The…
Guarded Successor: A Novel Temporal Logic
Ohad Asor
We present GS (Guarded Successor), a novel decidable temporal logic with several unique distinctive features. Among those, it allows infinitely many data values that come not only…
Spectral and Modular Analysis of #P Problems
Ohad Asor
We present various analytic and number theoretic results concerning the #SAT problem as reflected when reduced into a #PART problem. As an application we propose a heuristic to pro…
On Approximating Univariate NP-Hard Integrals
Ohad Asor, Avishy Carmi
Approximating a definite integral of product of cosines to within an accuracy of n binary digits where the integrand depends on input integers x[k] given in binary radix, is equiva…
About Tau-Chain
Ohad Asor
Tau-chain is a decentralized peer-to-peer network having three unified faces: Rules, Proofs, and Computer Programs, allowing a generalization of virtually any centralized or decent…