Signalized Intersections—Planning Methodology
The Highway Capacity Manual and the Committee on Highway Capacity and Quality of Service
Validation and Verification (V&V) of Safety-Critical Systems Operating Under Off-Nominal Conditions
Finite-Time Formation Reconfiguration of Multiple Spacecraft with Collision Avoidance Problems
Coordination Control Design for Formation Reconfiguration of Multiple Spacecraft
Machine Learning for Slow but Steady Interplanetary Construction
An Interval Approach to Software Reliability Evaluation Using Importance Metrics
Effective Use Of Intelligent Sensors On Man-Machine Interface
The Effects Of Age On Vehicular Control
Reusable Models of Complex Requirements
A Structured Approach to Verifying and Validating Expert Systems
Invariant Approach For Validation of Aggregative Specifications