Results (3)

  • Controller synthesis for MDPs and frequency LTL\GU
    Conference paper
  • Tree interpolation in Vampire
    Conference paper
  • Aligators for arrays
    Conference paper