Computer Science
Artificial Intelligence
16%
Assurance Case
10%
Automated Tool
16%
Autonomous System
80%
Autonomous Vehicles
16%
Belief Desire Intention Architecture
16%
Case Study
72%
communicating sequential process
8%
Complex Task
8%
Constraint Language
16%
Critical Software
8%
Critical System
20%
Dimensional Entity
16%
Evaluation Result
16%
Explainable Artificial Intelligence
8%
formal modeling
48%
Formal Requirement
100%
Formal Semantics
8%
Formal Specification
50%
Formal Verification
82%
Formalization
18%
Individual Component
16%
Interoperability
21%
Large Language Model
16%
Mathematical Language
8%
Mobile Robot
9%
Modeling Threat
16%
Modularization
40%
Operational Data
16%
Preexisting System
8%
Quantitative Assessment
16%
Requirement Elicitation
100%
Robot
44%
runtime verification
56%
Safety Critical Systems
18%
Satisfaction Condition
16%
Security Properties
16%
Software Component
8%
Software Failure
32%
Software Systems
8%
Software Verification
20%
Space Robotics
24%
Specification Language
37%
System Function
8%
System Security
16%
task-scheduling
8%
Testbed
8%
Theoretic Approach
16%
Threat Analysis
16%
Validation Technique
8%
Engineering
Abstraction Level
8%
Applicability
5%
Autonomous System
20%
Decision Level
8%
Design Model
16%
Design Verification
8%
Development Process
8%
Formal Method
49%
Fretting
16%
Individual Component
10%
Mobile Robot
16%
Model System
8%
NASA
29%
Nodes
16%
Nuclear Power Plant
5%
Program Code
8%
Robot
25%
Robotic System
64%
Section Number
8%
Specifies
5%
System Component
8%
Tasks
5%
