Results (17)

  • From boolean to quantitative synthesis
    Conference paper
  • On relational interfaces
    Conference paper