@misc{indiciae5f1a7f5e5620,
  title = {Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking},
  author = {Radu-Florin Tulcan and Rose Bohrer and Yoàv Montacute and Kevin Zhou and Yusuke Kawamoto and Ichiro Hasuo},
  year = {2026},
  url = {https://arxiv.org/abs/2603.24443},
  note = {Source identifier: 2603.24443}
}