Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2502.12267
Cited By
v1
v2 (latest)
NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS
17 February 2025
Xi Zheng
Ziyang Li
Ivan Ruchkin
R. Piskac
Miroslav Pajic
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS"
2 / 2 papers shown
Title
Towards Robust Autonomous Landing Systems: Iterative Solutions and Key Lessons Learned
Sebastian Schroder
Yao Deng
Alice James
Avishkar Seth
Kye Morton
Subhas Mukhopadhyay
Richard Han
Xi Zheng
51
1
0
18 May 2025
Four Principles for Physically Interpretable World Models
Jordan Peper
Zhenjiang Mao
Yuang Geng
Siyuan Pan
Ivan Ruchkin
148
1
0
04 Mar 2025
1
