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
122020
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
82019
Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
M Cashmore, A Cimatti, D Magazzeni, A Micheli, P Zehtabi
arXiv preprint arXiv:1911.07318, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–3