Login / Signup

Efficient Reachability Analysis of Hierarchical Reactive Machines.

Rajeev AlurRadu GrosuMichael McDougall
Published in: CAV (2000)
Keyphrases
  • reachability analysis
  • artificial intelligence
  • agent architecture
  • video sequences
  • fixed point