Login / Signup
Formalizing a Policy-based Compliance Control Solution with Event-B.
Laura González
Raúl Ruggia
Published in:
ICSOFT (2019)
Keyphrases
</>
control policy
optimal solution
control system
genetic algorithm
solution quality
data sets
linear equations
control problems
integer programming
stochastic control
policy making
control theory
optimal control
control strategy
solution space
closed form
multi agent
objective function
image sequences