Symbolic construction of GR(1) contracts for synchronous systems with full information.

Ioannis Filippidis Richard M. Murray

Published in: CoRR (2015)

Keyphrases

neural network
information sharing
information processing
computer systems
domain knowledge
information extraction
expert systems
information sources
contextual information
management system
supply chain
machine learning
learning systems
database
structural information
information overload
enormous amounts