60 citations · 91 across the 10 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2023★ 3 cited
Assessing Trustworthiness of Autonomous Systems
Gregory Chance, Dhaminda B. Abeywickrama, Beckett LeClair +2
As Autonomous Systems (AS) become more ubiquitous in society, more responsible for our safety and our interaction with them more frequent, it is essential that they are trustworthy…
cs.AI2016★ 2 cited
Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
Robotic code needs to be verified to ensure its safety and functional correctness, especially when the robot is interacting with people. Testing real code in simulation is a viable…