Login / Signup
A General Language-Based Framework for Specifying and Verifying Notions of Opacity.
Andrew Wintenberg
Matthew Blischke
Stéphane Lafortune
Necmiye Ozay
Published in:
CoRR (2021)
Keyphrases
</>
special case
natural language
main contribution
real time
website
high level
theoretical framework
closely related
context dependent
databases
neural network
machine learning
programming language
language learning
representation language
key properties