research
∙
10/12/2021
Concepts of Self-maintaining Robots and Their Design
This paper proposes an initial theory for robotic systems that can be fu...
share
research
∙
11/10/2016
A stochastically verifiable autonomous control architecture with reasoning
A new agent architecture called Limited Instruction Set Agent (LISA) is ...
research
∙
02/04/2016
Formal Verification of Autonomous Vehicle Platooning
The coordination of multiple autonomous vehicles into convoys or platoon...
research
∙
03/02/2010