Formal Reasoning about Plan-Controlled Vehicles - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Manny Rayner, Åsa Hugosson, Martin Aronsson, Annika Wærn. Formal Reasoning about Plan-Controlled Vehicles. In SCAI. pages 739-751, 1989.

This author has not been identified. Look up 'Manny Rayner' in GoogleThis author has not been identified. Look up 'Åsa Hugosson' in GoogleThis author has not been identified. Look up 'Martin Aronsson' in GoogleThis author has not been identified. Look up 'Annika Wærn' in Google

runs on WebDSL