Login / Signup

Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs.

Jonas KrookRobi MalikSahar MohajeraniMartin Fabian
Published in: CoRR (2022)
Keyphrases
  • controller synthesis
  • real time
  • multi agent
  • evolutionary algorithm
  • fuzzy logic
  • regression model
  • autonomic computing systems