Distributed Implementations of Global Temporal Logic Motion Specifications

Speaker

Calin Belta

Date and Location

Friday February 22, 2008 3:00pm to 4:00pm
1104 HFH

April

S M T W T F S
 
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
 
 
 
 
 
View Calendar
Add to My Calendar