Specification and optimal reactive synthesis of run-time enforcement shields.

Paritosh K. Pandya Amol Wakankar

Published in: Inf. Comput. (2022)

Keyphrases

optimal solution
formal specification
reactive systems
real time
databases
computational complexity
worst case
real world
artificial intelligence
website
multiscale
dynamic programming
access control
optimal control