Travelled to:1 × Canada
1 × Germany
1 × Japan
1 × Latvia
1 × Norway
2 × France
2 × USA
Collaborated with:O.Kupferman T.A.Henzinger S.Almagor ∅ J.Otop A.Radhakrishna A.Rosenberg D.Kuperberg M.Skrzypczak K.Chatterjee
Talks about:discount (3) automata (3) büchi (2) sum (2) nondetermin (1) succinct (1) determin (1) unknown (1) transit (1) qualiti (1)
Person: Udi Boker
DBLP: Boker:Udi
Contributed to:
2015
2014
2014
2013
2011
20112011201020092017Wrote 11 papers:
- LICS-2015-BokerHO #problem
- The Target Discounted-Sum Problem (UB, TAH, JO), pp. 750–761.
- POPL-2014-BokerHR
- Battery transition systems (UB, TAH, AR), pp. 595–606.
- TACAS-2014-AlmagorBK #ltl
- Discounting in LTL (SA, UB, OK), pp. 424–439.
- ICALP-v2-2013-AlmagorBK #formal method #quality #reasoning
- Formalizing and Reasoning about Quality (SA, UB, OK), pp. 15–27.
- ICALP-v2-2013-BokerKKS #nondeterminism
- Nondeterminism in the Presence of a Diverse or Unknown Future (UB, DK, OK, MS), pp. 89–100.
- CSL-2011-BokerH #automaton
- Determinizing Discounted-Sum Automata (UB, TAH), pp. 82–96.
- FoSSaCS-2011-BokerK #automaton
- Co-Büching Them All (UB, OK), pp. 184–198.
- LICS-2011-BokerCHK #cumulative #specification
- Temporal Specifications with Accumulative Values (UB, KC, TAH, OK), pp. 43–52.
- ICALP-v2-2010-BokerKR #automaton
- Alternation Removal in Büchi Automata (UB, OK, AR), pp. 76–87.
- LICS-2009-BokerK #automaton
- Co-ing Büchi Made Tight and Useful (UB, OK), pp. 245–254.
- CSL-2017-Boker #automaton #on the
- On the (In)Succinctness of Muller Automata (UB), p. 16.