The Cost of Exactness in Quantitative Reachability.

Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger

Published in: Models, Algorithms, Logics and Tools (2017)

Keyphrases

cost sensitive
quantitative and qualitative
total cost
high cost
database
real time
expected cost
data sets
neural network
machine learning
case study
qualitative and quantitative
transitive closure
transportation problem
cost reduction