Login / Signup

Order Independent Temporal Properties.

Nicole BidoitSandra de AmoLuc Segoufin
Published in: J. Log. Comput. (2004)
Keyphrases
  • temporal properties
  • neural network
  • decision making
  • mobile robot
  • random walk
  • model checking