Deductive control synthesis for alternating-time logics.

Rayna Dimitrova Rupak Majumdar

Published in: EMSOFT (2014)

Keyphrases

neural network
expressive power
control method
control theory
computer vision
knowledge representation
learning algorithm
database systems
expert systems
modal logic
control strategy
control strategies
process control