Wednesday, April 15, 2020

Wednesday, April 15, 2020 — 9:30 AM EDT

Candidate: Ahmad Bilal Asghar

Title: Multi-Robot Path Planning for Persistent Monitoring in Stochastic and Adversarial Environments

Date: April 15, 2020

Time: 9:30 AM

Place: REMOTE PARTICIPATION

Supervisor(s): Smith, Stephen

 

Abstract:

Wednesday, April 15, 2020 — 1:00 PM EDT

Candidate: Bo Yang

Topic: Bounded Model Checking with Techniques from Symbolic Trajectory Evaluation

Date: April 15, 2020

Time: 1:00 PM

Place: REMOTE PARTICIPATION

Supervisor(s): Aagaard, Mark

S M T W T F S
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
1
2
  1. 2020 (155)
    1. September (1)
    2. August (5)
    3. July (20)
    4. June (29)
    5. May (32)
    6. April (27)
    7. March (13)
    8. February (20)
    9. January (16)
  2. 2019 (282)
    1. December (16)
    2. November (32)
    3. October (19)
    4. September (26)
    5. August (26)
    6. July (40)
    7. June (24)
    8. May (23)
    9. April (35)
    10. March (25)
    11. February (9)
    12. January (10)
  3. 2018 (150)
  4. 2017 (212)
  5. 2016 (242)
  6. 2015 (242)
  7. 2014 (268)
  8. 2013 (192)
  9. 2012 (31)