Reducing complexity of autonomous control agents for verifiability

Paolo Izzo, Hongyang Qu, Sandor M. Veres

The AgentSpeak type of languages are considered for decision making in autonomous control systems. To reduce the complexity and increase the verifiability of decision making, a lim…