Udi Boker — Hebrew University of Jerusalem

Area of research

Computational Theory and Mathematics · Artificial Intelligence

Research interest

Research interests include Computer science, Automaton, Decidability, Nondeterministic algorithm, Linear temporal logic, and Model checking.

Recent publications

What's decidable about weighted automata?

Information and Computation 2020cited by 16position: middledoi

How Deterministic are Good-For-Games Automata?

DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) 2017cited by 7position: firstdoi

Formally Reasoning About Quality

Journal of the ACM 2016cited by 50position: middledoi

Discounting in LTL

Lecture notes in computer science 2014cited by 45position: middledoi

Temporal Specifications with Accumulative Values

ACM Transactions on Computational Logic 2014cited by 40position: firstdoi

Formalizing and Reasoning about Quality

Lecture notes in computer science 2013cited by 44position: middledoi

Nondeterminism in the Presence of a Diverse or Unknown Future

Lecture notes in computer science 2013cited by 27position: firstdoi

Approximate Determinization of Quantitative Automata

DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) 2012cited by 10position: firstdoi

Grants

No grants ingested yet.

Frequent collaborators

Orna Kupferman · Hebrew University of Jerusalem7 papers (2013–2020)Shaull Almagor · Hebrew University of Jerusalem4 papers (2013–2020)— · 2 papers (2013–2017)Thomas A. Henzinger · University of California, Berkeley2 papers (2012–2014)— · 1 papers (2014–2014)Denis Kuperberg · Hebrew University of Jerusalem1 papers (2013–2013)

Looking for a research collaborator?

Search millions of scientists by field, institution, impact, and funding status — see their work, find their email, and reach out directly.