Login / Signup

Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract).

Pierre Wolper
Published in: LOPSTR (1998)
Keyphrases
  • computational cost
  • reactive systems
  • learning algorithm
  • significant improvement
  • data structure
  • computational complexity