Quotient-based control synthesis for partially observed non-deterministic plants with mu-calculus specifications.

Samik Basu Ratnesh Kumar

Published in: CDC (2007)

Keyphrases

partially observed
optimal control
program synthesis
control system
control strategy
process control
formal language
neural network
reinforcement learning
lower bound
control theory