Login / Signup

Controller Synthesis for Probabilistic Systems.

Christel BaierMarcus GrößerMartin LeuckerBenedikt BolligFrank Ciesinski
Published in: IFIP TCS (2004)
Keyphrases
  • learning algorithm
  • controller synthesis