Publications

BibTeX

@article{recedinghorizon-2025/9,
  title={Receding Horizon Control for Signal Temporal Logic Using Robustness-Conserving Partial Formula Evaluation},
  author={Ilyes R, Brudermller L, Hawes N & Lacerda B},
  journal={IEEE Robotics and Automation Letters},
  volume={10},
  pages={10775-10782},
  publisher={Institute of Electrical and Electronics Engineers (IEEE)},
  year = "2025"
}

BibTeX

@inproceedings{stochasticrobus-2023/6,
  title={Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic},
  author={Ilyes RB, Ho QH & Lahijanian M},
  booktitle={2023 IEEE International Conference on Robotics and Automation (ICRA)},
  pages={5716-5722},
  year = "2023"
}

BibTeX

@inproceedings{chanceconstrain-2023/6,
  title={Chance-Constrained Motion Planning with Event-Triggered Estimation},
  author={Theurkauf A, Ho QH, Ilyes R, Ahmed N & Lahijanian M},
  booktitle={2023 IEEE International Conference on Robotics and Automation (ICRA)},
  pages={7944-7950},
  year = "2023"
}

BibTeX

@inproceedings{posterabstracts-2023/5,
  title={Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty},
  author={Ho QH, Ilyes R, Sunberg Z & Lahijanian M},
  booktitle={Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control},
  pages={1-2},
  year = "2023"
}

BibTeX

@inproceedings{automatonguided-2022/12,
  title={Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications},
  author={Ho QH, Ilyes RB, Sunberg ZN & Lahijanian M},
  booktitle={2022 IEEE 61st Conference on Decision and Control (CDC)},
  pages={3243-3249},
  year = "2022"
}

BibTeX

@misc{chanceconstrain-2022/10,
  title={Chance-Constrained Motion Planning with Event-Triggered Estimation},
  author={Theurkauf A, Ho QH, Ilyes R, Ahmed N & Lahijanian M},
  year = "2022"
}

BibTeX

@misc{stochasticrobus-2022/10,
  title={Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic},
  author={Ilyes RB, Ho QH & Lahijanian M},
  year = "2022"
}

BibTeX

@misc{automatonguided-2022/7,
  title={Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications},
  author={Ho QH, Ilyes RB, Sunberg ZN & Lahijanian M},
  year = "2022"
}

@inproceedings{rotogorobustrea-/,
  title={Ro-to-go! Robust reactive control with signal temporal logic},
  author={Ilyes R, Brudermüller L, Hawes N & Lacerda B},
  booktitle={2026 IEEE International Conference on Robotics and Automation}
}