Marco Antoniotti. Synthesis and Verification of Controllers for Robotics and Manufacturing Devices with Temporal Logic and the "Control-D" System. PhD thesis, New York University, USA, 1995. [doi]
No references recorded for this publication.
No citations of this publication recorded.