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

Ioannis Filippidis Richard M. Murray

Published in: ACC (2016)

Keyphrases

information sources
computer systems
management system
genetic algorithm
database
databases
low level
information extraction
higher level
context aware
information processing
complex systems
background knowledge
temporal information
processing capabilities