C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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