From Global to Local: Hierarchical Probabilistic Verification for Reachability Learning

IEEE Control Systems Letters 2026

View at publisher
Authors: Ebonye Smith, Sampada Deglurkar, Jingqi Li, Gechen Qu, Claire Jennifer Tomlin
DOI: 10.1109/lcsys.2026.3717040
Cited by: 1
References: 24

Fields of Study & Subjects

Speech and dialogue systems Multimodal Machine Learning Applications Natural Language Processing Techniques

Publication details

Journal / source
IEEE Control Systems Letters
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Volume
10
Pages
2137–2142
Publication date
1 January 2026