Results (15)

  • Edit distance for pushdown automata
    Conference paper
  • Nondeterminism in the presence of a diverse or unknown future
    Conference paper
  • Formalizing and reasoning about quality
    Conference paper
  • Preserving Secrecy Under Refinement
    Conference paper
  • Discounting the future in systems theory
    Conference paper
  • Counterexample-guided control
    Conference paper