Termination and Cost Analysis of Loops with Concurrent Interleavings.

Elvira Albert Antonio Flores-Montoya Samir Genaim Enrique Martin-Martin

Published in: ATVA (2013)

Keyphrases

image analysis
data sets
statistical analysis
machine learning
website
database systems
data analysis
expert systems
cost function
supply chain
petri net
quantitative analysis
high cost