Faisal Alhwikem

Search results

• 2022

  Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies

  Gerasimou, S., Camara Moreno, J., Calinescu, R., Alasmari, N., Alhwikem, F. & Fang, X., 20 Jan 2022, 36th IEEE/ACM International Conference on Automated Software Engineering. IEEE

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2021

  Fast Parametric Model Checking through Model Fragmentation

  Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 7 May 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). ACM

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File