| Planning for hybrid systems via Satisfiability Modulo Theories M Cashmore, D Magazzeni, P Zehtabi Journal of Artificial Intelligence Research 67, 235-283, 2020 | 33 | 2020 |
| Robustness envelopes for temporal plans M Cashmore, A Cimatti, D Magazzeni, A Micheli, P Zehtabi Proceedings of the AAAI Conference on Artificial Intelligence 33, 7538-7545, 2019 | 10 | 2019 |
| Explaining Preference-driven Schedules: the EXPRES Framework A Pozanco, F Mosca, P Zehtabi, D Magazzeni, S Kraus arXiv preprint arXiv:2203.08895, 2022 | 8 | 2022 |
| Optimal Admission Control for Multiclass Queues with Time-Varying Arrival Rates via State Abstraction M Rigter, D Dervovic, P Hassanzadeh, J Long, P Zehtabi, D Magazzeni arXiv preprint arXiv:2203.08019, 2022 | 3 | 2022 |
| Robustness Envelopes for Temporal Plans D Magazzeni, M Cashmore, A Cimatti, A Micheli, P Zehtabi Proceedings of AAAI Conference on Artificial Intelligence (AAAI 2019), 2019 | 1 | 2019 |
| Efficient anytime computation and execution of decoupled robustness envelopes for temporal plans M Cashmore, A Cimatti, D Magazzeni, A Micheli, P Zehtabi 28th International Symposium on Temporal Representation and Reasoning (TIME …, 2021 | | 2021 |
