Verifying Policy Enforcers.

Oliviero Riganelli Daniela Micucci Leonardo Mariani Yliès Falcone

Published in: RV (2017)

Keyphrases

optimal policy
model checking
neural network
information systems
least squares
asymptotically optimal
policy making
databases
artificial intelligence
reinforcement learning
information technology
decision problems
action selection
revenue management