Udi Boker | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Karoliina Lehtinen
11 publications
Salomon Sickert
8 publications
Guy Hefetz
1 publication

research

∙ 07/17/2023

Discounted-Sum Automata with Multiple Discount Factors

Discounting the influence of future events is a key paradigm in economic...

0 Udi Boker, et al. ∙

research

∙ 01/25/2022

On the Translation of Automata to Linear Temporal Logic

While the complexity of translating future linear temporal logic (LTL) i...

0 Udi Boker, et al. ∙