| |
| 1997 | ||
|---|---|---|
| 2 | Ekaterina Dolginova, Nancy A. Lynch: Safety Verification for Automated Platoon Maneuvers: A Case Study. HART 1997: 154-170 | |
| 1996 | ||
| 1 | Michael S. Branicky, Ekaterina Dolginova, Nancy A. Lynch: A Toolbox for Proving and Maintaining Hybrid Specifications. Hybrid Systems 1996: 18-30 | |
| 1 | Michael S. Branicky | [1] |
| 2 | Nancy A. Lynch | [1] [2] |