Results (30)

  • Computation tree logic for synchronization properties
    Conference paper
  • On the skolem problem for continuous linear dynamical systems
    Conference paper
  • Edit distance for pushdown automata
    Conference paper
  • Condensed unpredictability
    Conference paper
  • The complexity of synthesis from probabilistic components
    Conference paper
  • Games with a weak adversary
    Conference paper
  • Nondeterminism in the presence of a diverse or unknown future
    Conference paper
  • The power of linear programming for finite-valued CSPs: A constructive characterization
    Conference paper
  • Formalizing and reasoning about quality
    Conference paper
  • Nondeterminism in the presence of a diverse or unknown future
    Conference paper