Structural Refinement for the Modal nu-Calculus.

Uli Fahrenberg Axel Legay Louis-Marie Traonouez

Published in: ICTAC (2014)

Keyphrases

structural information
transition systems
machine learning
three dimensional
real time
neural network
real world
search engine
information systems
image processing
temporal logic
structural analysis