DMCA

Strategy synthesis for multi-dimensional quantitative objectives (2013)

by Krishnendu Chatterjee , Mickael Randour, et al.
Citations:16 - 2 self