Follow
Parisa Zehtabi
Parisa Zehtabi
Verified email at kcl.ac.uk
Title
Cited by
Cited by
Year
Planning for hybrid systems via Satisfiability Modulo Theories
M Cashmore, D Magazzeni, P Zehtabi
Journal of Artificial Intelligence Research 67, 235-283, 2020
312020
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
102019
Explaining Preference-driven Schedules: the EXPRES Framework
A Pozanco, F Mosca, P Zehtabi, D Magazzeni, S Kraus
arXiv preprint arXiv:2203.08895, 2022
82022
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
32022
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
12019
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
The system can't perform the operation now. Try again later.
Articles 1–6