Ekaterina Dolginova

Publication Activity (10 Years)

Years Active: 1996-1997
Publications (10 Years): 0

Publications

Ekaterina Dolginova, Nancy A. Lynch
Safety Verification for Automated Platoon Maneuvers: A Case Study. HART (1997)
Michael S. Branicky, Ekaterina Dolginova, Nancy A. Lynch
A Toolbox for Proving and Maintaining Hybrid Specifications. Hybrid Systems (1996)