Login / Signup
Automatic Generation of Precise and Useful Commutativity Conditions.
Kshitij Bansal
Eric Koskinen
Omer 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