Developing logic-based specification for real-time autonomous systems.

Patrick O. Bobbie

Browse the full ISADS paper archive.