@misc{indiciae88e4875086bb,
  title = {Efficient Hybrid Hard--Soft Signal Temporal Logic MPC for Driving under Multimodal Uncertainty},
  author = {Kumar Manas and Adrian Paschke},
  year = {2026},
  url = {https://arxiv.org/abs/2610.15934},
  note = {Source identifier: 2610.15934}
}