TY  - RPRT
TI  - Automating Physics-Based Reasoning for SysML Model Validation
AU  - Candice Chambers
AU  - Summer Mueller
AU  - Parth Ganeriwala
AU  - Chiradeep Sen
AU  - Siddhartha Bhattacharyya
PY  - 2025
UR  - https://arxiv.org/abs/2501.18514
ID  - 2501.18514
ER  -