Algorithms for CTL system modification

Yulin Ding, Yan Zhang, Robert J. Howlett, Lakhmi C. Jain, Rajiv Khosla

Research output: Chapter in Book / Conference PaperConference Paper

Fingerprint

Dive into the research topics of 'Algorithms for CTL system modification'. Together they form a unique fingerprint.

Engineering

Computer Science

Mathematics