Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2402.13075
Cited By
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
20 February 2024
Xiang Yin
Bingzhao Gao
Xiao Yu
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges"
5 / 5 papers shown
Title
RRT*former: Environment-Aware Sampling-Based Motion Planning using Transformer
IEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2025
Mingyang Feng
Shaoyuan Li
Xiang Yin
52
0
0
19 Nov 2025
Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
Bowen Ye
Junyue Huang
Yang Liu
Xiaozhen Qiao
Xiang Yin
86
0
0
16 Sep 2025
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
Oliver Schon
S. Haesaert
Sadegh Soudjani
94
0
0
20 Jun 2025
Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
Bowen Ye
Jianing Zhao
Shaoyuan Li
Xiang Yin
157
1
0
26 Mar 2024
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
Oliver Schon
Zhengang Zhong
Sadegh Soudjani
158
11
0
15 Mar 2024
1
