Search results

Page title matches

• Sofie Haesaert
  |Last name=Haesaert
  165 bytes (22 words) - 05:25, 2 January 2019

Page text matches

• SURF 2018: Test design for temporal logic controllers
  * Co-mentor: Sofie Haesaert [3] Haesaert, Sofie, Paul M.J. Van den Hof, and Alessandro Abate. "Experiment design for
  2 KB (299 words) - 07:06, 16 December 2017
• Main Page
  <tr><td>Sofie Haesaert (2016-2018) </td></tr>
  19 KB (2,791 words) - 06:03, 10 November 2021
• Bozenna Pasik-Duncan, Sep 2017
  * 3:45 pm: Sofie Haesaert, 310 Annenberg
  2 KB (337 words) - 03:59, 27 September 2017
• Karan Kalsi, Oct 2017
  * 2:30 pm: Sofie Haesaert (Annenberg 310)
  2 KB (248 words) - 21:54, 3 October 2017
• UTRC visit, 12 Oct 2017
  * 9:00 am: Sofie Haesaert, Annenberg Lounge
  4 KB (514 words) - 22:13, 11 October 2017
• SURF 2018
  | Sofie Haesaert
  4 KB (682 words) - 19:45, 3 January 2018
• Chelsea Hu, Apr 2018
  * 12:00 pm: Lunch with NCS postdocs (Sofie Haesaert, Jin Ge, Ioannis Filippidis)
  1,022 bytes (138 words) - 19:53, 9 April 2018
• Group Schedule, Summer 2018
  * Sofie Haesaert
  4 KB (523 words) - 20:45, 10 September 2018
• Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams
  |Authors=P. Nilsson, S. Haesaert, C. Vasile, R. Thakker, A. Agha-mohammadi. R. M. Murray and A. D. Ames
  1 KB (165 words) - 13:46, 26 September 2018
• Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations
  |Authors=S. Haesaert, P. Nilsson, C. I. Vasile, R. Thakker, A. Agha-mohammadi, A. D. Ames and R.
  1 KB (163 words) - 05:56, 15 July 2018
• SURF 2017: Data-driven models for temporal logic control
  * Co-mentor: Sofie Haesaert
  3 KB (423 words) - 16:40, 11 January 2017
• Sofie Haesaert
  |Last name=Haesaert
  165 bytes (22 words) - 05:25, 2 January 2019
• Group Schedule, Summer 2017
  * Sofie Haesaert
  3 KB (480 words) - 14:26, 28 August 2017