Gricel Vazquez Flores

Search results

• 2024

  Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components

  Calinescu, R., Imrie, C. C., Mangal, R., Rodrigues, G., S.Păsăreanu, C., Alpizar Santana, M. & Vazquez Flores, G., 1 Jun 2024, In: IEEE Transactions on Software Engineering . 50, p. 1374-1395 22 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties

  Menghi, C., Tsigkanos, C., Askarpour, M., Pelliccione, P., Vazquez, G., Calinescu, R. & Garcia, S., 1 Apr 2024, In: IEEE Transactions on Software Engineering . 49, 4, p. 2741-2760 20 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File