Quantitative Assume Guarantee Synthesis.

Shaull Almagor Orna Kupferman Jan Oliver Ringert Yaron Velner

Published in: CAV (2) (2017)

Keyphrases

qualitative and quantitative
quantitative and qualitative
real time
real world
metadata
feature extraction
cooperative
digital libraries
np hard