Validating Non-trivial Semantic Properties of Autonomous Robots
Philosophy and Theory of Artificial Intelligence 2021（2022）
Key words
Autonomous robots,Cyber-physical systems,Ethics of AI,Semantic properties,Rice's theorem,Robot modelling,Turing machines,Verification
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined