Login / Signup

Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates.

Ameneh NejatiSatya Prakash NayakAnne-Kathrin Schmuck
Published in: HSCC (2024)
Keyphrases
  • stochastic systems
  • stochastic models
  • optimal control
  • conservation laws
  • adaptive control