Slicing Agent Programs for More Efficient Verification.

Michael Winikoff Louise A. Dennis Michael Fisher

Published in: EMAS@AAMAS (2018)

Keyphrases

multi agent
multi agent systems
multiagent systems
computationally expensive
information systems
cost effective
agent model
real time
neural network
decision making
dynamic environments
lightweight
agent systems
virtual agents
bdi agents
agent programming