7 citations · 18 across the 8 of their papers we have counts for
Showing 2016 · cs.ROShow all
3 papers · 2 filters
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…
cs.RO2016
Testing, Verification and Improvements of Timeliness in ROS processes
Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres
This paper addresses the problem of improving response times of robots implemented in the Robotic Operating System (ROS) using formal verification of computational-time feasibility…
cs.RO2016★ 7 cited
Verification of Logical Consistency in Robotic Reasoning
Hongyang Qu, Sandor M. Veres
Most autonomous robotic agents use logic inference to keep themselves to safe and permitted behaviour. Given a set of rules, it is important that the robot is able to establish the…