Login / Signup
Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems.
Siyuan Liu
Majid Zamani
Published in:
CoRR (2020)
Keyphrases
</>
probabilistic model
computer vision
metadata
databases
information systems
e learning
image processing
web services
case study
high level
software engineering
distributed systems
computer systems
knowledge based systems
learning systems