Sign in

Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach.

Bingzhuo ZhongMajid ZamaniMarco Caccamo
Published in: IEEE Trans. Autom. Control. (2024)
Keyphrases
  • linear systems
  • decision making
  • reinforcement learning
  • dynamical systems
  • linear equations
  • genetic algorithm
  • input output