On Properties of Policy-Based Specifications.

Andrea Margheri Rosario Pugliese Francesco Tiezzi

Published in: WWV (2015)

Keyphrases

optimal policy
structural properties
desirable properties
machine learning
formal language
real time
data sets
information retrieval
search engine
high level
image sequences
markov chain
formal specification
topological properties