Methods of proving, hypothesizing and time reasoning for real-time control of moving objects.

Stanislav N. Vassilyev

Browse the full SMC paper archive.