Login / Signup

Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract).

Patrice GodefroidDidier Pirottin
Published in: CAV (1993)
Keyphrases
  • extended abstract
  • partial order
  • significant improvement
  • search space
  • reinforcement learning
  • multi agent
  • qualitative and quantitative
  • lattice structure