4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.RO2016
A stochastically verifiable autonomous control architecture with reasoning
Paolo Izzo, Hongyang Qu, Sandor M. Veres
A new agent architecture called Limited Instruction Set Agent (LISA) is introduced for autonomous control. The new architecture is based on previous implementations of AgentSpeak a…
eess.SY2016★ 4 cited
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…