Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields.

Paritosh K. Pandya Amol Wakankar

Published in: GandALF (2019)

Keyphrases

dynamic programming
optimal design
worst case
high level
image sequences
optimal solution
access control
information systems
knowledge base
multi agent
lower bound
user defined
conceptual model
agent architecture
finding optimal
reactive systems