Developing logic-based specification for real-time autonomous systems

Patrick O. Bobbie. Developing logic-based specification for real-time autonomous systems. In Second International Symposium on Autonomous Decentralized Systems, ISADS 1995, Phoenix, Arizona, USA, April 25-27, 1995. pages 119-125, IEEE Computer Society, 1995. [doi]

Abstract

Abstract is missing.