Login / Signup

B-W Analysis: A Backward Reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation.

Cosimo AnglanoLuigi Portinale
Published in: Application and Theory of Petri Nets (1994)
Keyphrases
  • parallel implementation
  • reachability analysis
  • timed automata
  • machine learning
  • artificial intelligence
  • knowledge representation
  • parallel computation