Udi Boker | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙