Specification and Reactive Synthesis of Robust Controllers.

Paritosh K. Pandya Amol Wakankar

Published in: CoRR (2019)

Keyphrases

control system
computationally efficient
machine learning
high level
state space
controller synthesis
databases
genetic algorithm
social networks
reinforcement learning
expert systems