Sign in
Verifying Policy Enforcers.
Oliviero Riganelli
Daniela Micucci
Leonardo Mariani
Yliès Falcone
Published in:
CoRR (2017)
Keyphrases
</>
optimal policy
model checking
real world
policy makers
real time
data structure
control system
supply chain
action selection