Token Games and History-Deterministic Quantitative-Automata von Boker, Udi, Lehtinen, Karoliina

Volltext

Register Games von Karoliina Lehtinen, Udi Boker

Volltext

Exact and Approximate Determinization of Discounted-Sum Automata von Boker, Udi, Henzinger, Thomas A.

Volltext

What’s Decidable About Causally Consistent Shared Memory? von Lahav, Ori, Boker, Udi

Volltext

Families of DFAs as Acceptors of $\omega$-Regular Languages von Dana Angluin, Udi Boker, Dana Fisman

Volltext

What's decidable about weighted automata? von Almagor, Shaull, Boker, Udi, Kupferman, Orna

Volltext

Formally Reasoning About Quality von Almagor, Shaull, Boker, Udi, Kupferman, Orna

Volltext

Quantitative vs. Weighted Automata von Boker, Udi

Volltext

What’s Decidable about Weighted Automata? von Almagor, Shaull, Boker, Udi, Kupferman, Orna

Volltext

Temporal Specifications with Accumulative Values von Boker, Udi, Chatterjee, Krishnendu, Henzinger, Thomas A., Kupferman, Orna

Volltext

The influence of domain interpretations on computational models von Boker, Udi, Dershowitz, Nachum

Volltext

Translating to Co-Büchi Made Tight, Unified, and Useful von Boker, Udi, Kupferman, Orna

Volltext

Translating to Co-BA14chi Made Tight, Unified, and Useful von Boker, Udi, Kupferman, Orna

Volltext

Formalizing and Reasoning about Quality von Almagor, Shaull, Boker, Udi, Kupferman, Orna

Volltext

Token Games and History-Deterministic Quantitative-Automata von Boker, Udi, Lehtinen, Karoliina

Volltext

Discounted-Sum Automata with Multiple Discount Factors von Boker, Udi, Hefetz, Guy

Volltext bestellen

On the Comparison of Discounted-Sum Automata with Multiple Discount Factors von Boker, Udi, Hefetz, Guy

Volltext

When a Little Nondeterminism Goes a Long Way: An Introduction to History-Determinism von Boker, Udi, Lehtinen, Karoliina

Volltext

A hypercomputational alien von Boker, Udi, Dershowitz, Nachum

Volltext

History Determinism vs. Good for Gameness in Quantitative Automata von Boker, Udi, Lehtinen, Karoliina

Volltext bestellen