Requirements Rationalization and Synthesis enabled by Model Synchronization.
Siyuan JiCharles E. DickersonMichael K. WilkinsonPublished in: CoRR (2023)
Keyphrases
- objective function
- probabilistic model
- statistical model
- mathematical model
- computational model
- artificial intelligence
- computer vision
- formal model
- high level
- object model
- real time
- simulation model
- hierarchical structure
- theoretical framework
- probability distribution
- case study
- clustering algorithm
- decision making
- neural network