@misc{indiciae86900454b515,
  title = {Integer-Free Control Synthesis for Signal Temporal Logic via Ranked Implicants},
  author = {Arash Bahari Kordabad and Mohammad H. Mamduhi and Sadegh Soudjani},
  year = {2026},
  url = {https://arxiv.org/abs/2610.20969},
  note = {Source identifier: 2610.20969}
}