Control problems in a temporal logic setting.
Published: 1985
Language: eng
Number of pages: 90