Results (16)

  • Schedule-carrying code
    Conference paper
  • Discounting the future in systems theory
    Conference paper
  • Counterexample-guided control
    Conference paper