Login / Signup

LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs.

Roberto BarbutiNicoletta De FrancescoAntonella SantoneGigliola Vaglini
Published in: Softw. Pract. Exp. (1999)
Keyphrases
  • face verification
  • databases
  • website
  • learning algorithm
  • social networks
  • decision making
  • knowledge base
  • multi agent
  • dynamic programming
  • free software