Login / Signup

Automatic Generation of Precise and Useful Commutativity Conditions.

Kshitij BansalEric KoskinenOmer Tripp
Published in: TACAS (1) (2018)
Keyphrases
  • sufficient conditions
  • automatically generate
  • real time
  • artificial intelligence
  • feature selection
  • wide range
  • cooperative
  • real world
  • genetic algorithm
  • case study
  • multi agent
  • multi agent systems