https://www.bhoxha.com 2026-09-07T20:40:41.849Z monthly 1 https://www.bhoxha.com/publications/ monthly 0.8 https://www.bhoxha.com/publications/Zhao26-STLMPPI/ https://www.bhoxha.com/publications/Khandait26-DiffTilt/ https://www.bhoxha.com/publications/Miao26-FalconTrack/ https://www.bhoxha.com/publications/Oura26-CausalMDP/ https://www.bhoxha.com/publications/Wang26-RLRiskCVaR/ https://www.bhoxha.com/publications/Kim26-PolicyLibraryCBF/ https://www.bhoxha.com/publications/Hoxha26-VisionRTM/ https://www.bhoxha.com/publications/Hoxha26-BRACBF/ https://www.bhoxha.com/publications/Kim25-SafeMPD/ https://www.bhoxha.com/publications/Miao25-FalconGym/ https://www.bhoxha.com/publications/Li26/ https://www.bhoxha.com/publications/Fronda26-Firefly/ https://www.bhoxha.com/publications/Fronda26-FairCoPlan/ https://www.bhoxha.com/publications/Anderson25-STG/ https://www.bhoxha.com/publications/Anderson25-LogSTOP/ https://www.bhoxha.com/publications/Yamaguchi25/ https://www.bhoxha.com/publications/Majd25/ https://www.bhoxha.com/publications/Zhao25-STLGO/ https://www.bhoxha.com/publications/Zhang25/ https://www.bhoxha.com/publications/HSCC2025-probstar/ https://www.bhoxha.com/publications/Parwana25/ https://www.bhoxha.com/publications/Tran25-CAV/ https://www.bhoxha.com/publications/Zhao25/ https://www.bhoxha.com/publications/Wang25/ https://www.bhoxha.com/publications/NAHS2025/ https://www.bhoxha.com/publications/TCPS2025/ https://www.bhoxha.com/publications/MPPI2024/ https://www.bhoxha.com/publications/IROS2025/ https://www.bhoxha.com/publications/Tuck25/ https://www.bhoxha.com/publications/AAAIw2024/ https://www.bhoxha.com/publications/parwana2025feasible/ https://www.bhoxha.com/publications/STTT2024/ https://www.bhoxha.com/publications/TSA2024/ https://www.bhoxha.com/publications/TCPS2024/ https://www.bhoxha.com/publications/ADHS2024/ https://www.bhoxha.com/publications/ICRA2024/ https://www.bhoxha.com/publications/IROS2024/ https://www.bhoxha.com/publications/ACC2024/ https://www.bhoxha.com/publications/NFM_2024/ https://www.bhoxha.com/publications/yang2023safe/ https://www.bhoxha.com/publications/zhao2023robust/ https://www.bhoxha.com/publications/hekmatnejad2022formalizing/ https://www.bhoxha.com/publications/anderson2023pattern/ https://www.bhoxha.com/publications/STTT2023/ https://www.bhoxha.com/publications/nishitani2023checkmate/ https://www.bhoxha.com/publications/tran2023quantitative/ https://www.bhoxha.com/publications/tran2023verification/ https://www.bhoxha.com/publications/ICCPS2023/ https://www.bhoxha.com/publications/hashemi2023risk/ https://www.bhoxha.com/publications/watanabe2023timed/ https://www.bhoxha.com/publications/black2023safety/ https://www.bhoxha.com/publications/ozmen2021discovering/ https://www.bhoxha.com/publications/WFML2022/ https://www.bhoxha.com/publications/bogomolov2022runtime/ https://www.bhoxha.com/publications/yang2022neural/ https://www.bhoxha.com/publications/yaghoubi2021risk/ https://www.bhoxha.com/publications/balakrishnan2021percemon/ https://www.bhoxha.com/publications/majd2021safe/ https://www.bhoxha.com/publications/yang2021reachability/ https://www.bhoxha.com/publications/yaghoubi2020risk/ https://www.bhoxha.com/publications/hekmatnejad2020search/ https://www.bhoxha.com/publications/yamaguchi2020specification/ https://www.bhoxha.com/publications/date2020application/ https://www.bhoxha.com/publications/cralley2020tltk/ https://www.bhoxha.com/publications/fainekos2019robustness/ https://www.bhoxha.com/publications/tuncali2018experience/ https://www.bhoxha.com/publications/nguyen2018mission/ https://www.bhoxha.com/publications/dokhanchi2017formal/ https://www.bhoxha.com/publications/dokhanchi2017vacuity/ https://www.bhoxha.com/publications/hoxha2017mining/ https://www.bhoxha.com/publications/dokhanchi2016efficient/ https://www.bhoxha.com/publications/hoxha2016pareto/ https://www.bhoxha.com/publications/dokhanchi2016mitl/ https://www.bhoxha.com/publications/hoxha2016planning/ https://www.bhoxha.com/publications/dokhanchi2015metric/ https://www.bhoxha.com/publications/hoxha2015vispec/ https://www.bhoxha.com/publications/hoxha2014towards/ https://www.bhoxha.com/publications/dokhanchi2014line/ https://www.bhoxha.com/publications/abbas2014conformance/ https://www.bhoxha.com/publications/iccps2014wip/ https://www.bhoxha.com/publications/abbas2014robustness/ https://www.bhoxha.com/publications/hoxha2014using/ https://www.bhoxha.com/publications/hoxhasystem/ https://www.bhoxha.com/publications/yang2012querying/ https://www.bhoxha.com/publications/dokhanchi2018arch/ https://www.bhoxha.com/publications/dokhanchi2017arch/ https://www.bhoxha.com/publications/hoxha2014benchmarks/