Automated Verification of Linearization Policies.

Parosh Aziz Abdulla Bengt Jonsson Cong Quy Trinh

Published in: SAS (2016)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
optimal policy
temporal logic
artificial intelligence
knowledge representation
graph theory
real time
data sets
data mining
case study
optimization problems
revenue management
management policies